摘要：X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的......

提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation).与传统的一元子句推导技术相比,文中......