Disproof of the Neighborhood Conjecture with Implications to SAT

Published in: CoRR (2009)

Keyphrases

sat solvers
satisfiability problem
phase transition
neighborhood structure
search algorithm
scheduling problem
sat solving
information retrieval
propositional satisfiability
neighborhood information