A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.
Shinya HiramotoMasaki NakanishiShigeru YamashitaYasuhiko NakashimaPublished in: ARC (2007)
Keyphrases
- sat solvers
- chronological backtracking
- clause learning
- orders of magnitude
- propositional satisfiability
- search space
- boolean formula
- sat problem
- sat solving
- constraint satisfaction
- boolean satisfiability
- max sat
- search strategies
- search tree
- sat instances
- branch and bound
- sat encodings
- cnf formula
- search strategy
- state space
- search algorithm
- genetic algorithm
- heuristic search
- co occurrence