Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study.
Inês LynceJoão P. Marques SilvaPublished in: ICTAI (2004)
Keyphrases
- hidden structure
- random sat
- phase transition
- satisfiability problem
- sat problem
- unsatisfiable cores
- max sat
- random constraint satisfaction problems
- random sat instances
- np complete
- constraint satisfaction
- davis putnam
- boolean satisfiability
- combinatorial problems
- randomly generated
- temporal logic
- stochastic local search
- sat solvers
- constraint satisfaction problems
- search algorithm
- knowledge base
- cellular automata