Stochastic Systematic Search Algorithms for Satisfiability.
Inês LynceLuís BaptistaJoão Marques-SilvaPublished in: Electron. Notes Discret. Math. (2001)
Keyphrases
- systematic search algorithms
- satisfiability problem
- sat problem
- search algorithm
- phase transition
- monte carlo
- propositional logic
- random sat
- computational complexity
- np complete
- sat solvers
- davis putnam logemann loveland
- sat instances
- computational properties
- max sat
- learning algorithm
- evolutionary algorithm
- objective function