From RAM to SAT.
Zahra JafargholiHamidreza JahanjouEric MilesJaideep RamachandranEmanuele ViolaPublished in: Electron. Colloquium Comput. Complex. (2012)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- boolean satisfiability
- search algorithm
- sat solving
- propositional satisfiability
- max sat
- stochastic local search algorithms
- stochastic local search
- sat encodings
- design considerations
- backtracking search
- phase transition
- data sets
- randomly generated
- search problems
- branch and bound algorithm
- main memory
- orders of magnitude
- constraint satisfaction problems
- lower bound
- neural network