2007 (DOI: 10.1002/sat.874).
Yeong-Wha SawngHyun-Soo HanPublished in: Int. J. Satell. Commun. Netw. (2007)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- sat solving
- boolean satisfiability
- search algorithm
- max sat
- stochastic local search
- search strategies
- sat instances
- phase transition
- sat encodings
- stochastic local search algorithms
- np complete
- database
- backtracking search
- intra organizational
- variable ordering
- np complete problems
- learning algorithm
- neural network