On the Occurrence of Null Clauses in Random Instances of Satisfiability.
John V. FrancoPublished in: Discret. Appl. Math. (1993)
Keyphrases
- random instances
- phase transition
- random sat
- random constraint satisfaction problems
- satisfiability problem
- boolean satisfiability
- sat instances
- sat problem
- randomly generated
- constraint satisfaction
- constraint satisfaction problems
- hard problems
- combinatorial problems
- lower bound
- np complete
- clause learning
- np complete problems
- search space
- cnf formula
- sat solvers
- first order logic
- graph coloring
- boolean formula
- objective function
- search problems
- polynomial size
- davis putnam
- stochastic local search
- model checking
- search strategies