Hidden Threshold Phenomena for Fixed-Density SAT-formulae.

Hans van Maaren Linda van Norden

Published in: SAT (2003)

Keyphrases

satisfiability problem
sat solvers
sat problem
low density
fixed number
sat instances
search algorithm
np complete
domain independent
phase transition
biological systems
propositional satisfiability
hidden information
sat solving
adaptive threshold