可满足性和计算范德瓦尔登数
摘要：组合数学和命题可满足性的结合：通过计算van der Waerden数的例子，我们展示了如何将组合数学的问题表示为参数化的命题理论，并通过判断可满足性来解决问题。我们使用了通用的完全搜索和局部搜索技术来测试命题可满足性，证明了这种方法的有效性和竞争力。通过这种方法，我们得到了一些关于计算van der Waerden数的新结果。由于它们的性质，特别是结构简单和计算困难，本研究中出现的命题理论可以在开发、测试和基准测试SAT求解器方面发挥作用。
作者：Michael R. Dransfield, Victor W. Marek, Miroslaw Truszczynski
论文ID：cs/0310064
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23