Random 3-SAT: The Plot Thickens.
Cristian CoarfaDemetrios D. DemopoulosAlfonso San Miguel AguirreDevika SubramanianMoshe Y. VardiPublished in: Constraints An Int. J. (2003)
Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- random constraint satisfaction problems
- random sat instances
- max sat
- boolean satisfiability
- davis putnam
- constraint satisfaction
- graph coloring
- sat instances
- computational complexity
- stochastic local search
- sat solvers
- temporal logic
- np complete
- genetic algorithm
- industrial applications
- randomly generated
- branch and bound algorithm
- cellular automata
- decision makers