Sciweavers

59
Voted
JSAT
2006
68views more  JSAT 2006»
14 years 8 months ago
Locality and Hard SAT-Instances
In this note we construct a family of SAT-instance based on Eulerian graphs which are aimed at being hard for resolution based SAT-solvers. We discuss some experiments made with i...
Klas Markström