Random 3-SAT and BDDs: The Plot Thickens Further.
Alfonso San Miguel AguirreMoshe Y. VardiPublished in: CP (2001)
Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- random constraint satisfaction problems
- heuristic search
- random sat instances
- binary decision diagrams
- boolean satisfiability
- max sat
- constraint satisfaction
- np complete
- sat instances
- randomly generated
- constraint satisfaction problems
- knowledge compilation
- sat solvers
- davis putnam
- combinatorial problems
- branch and bound
- search algorithm