Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).
Elizabeth BroeringSatyanarayana V. LokamPublished in: SAT (2003)
Keyphrases
- extended abstract
- stochastic local search
- stochastic local search algorithms
- backtracking search
- search algorithm
- satisfiability problem
- propositional satisfiability
- neural network
- sat solvers
- phase transition
- times faster
- machine learning algorithms
- theoretical analysis
- computational complexity
- benchmark datasets
- orders of magnitude
- computationally efficient
- sat problem
- significant improvement
- optimization problems
- simulated annealing
- sat instances
- np complete problems
- data structure
- data sets