FPGA acceleration of enhanced boolean constraint propagation for SAT solvers.
Jason ThongNicola NicoliciPublished in: ICCAD (2013)
Keyphrases
- constraint propagation
- sat solvers
- constraint satisfaction
- search space
- constraint satisfaction problems
- boolean formula
- constraint programming
- propositional satisfiability
- max sat
- sat problem
- sat solving
- constraint solver
- constraint solving
- orders of magnitude
- search strategies
- sat instances
- search tree
- temporal constraints
- arc consistency
- heuristic search
- linear programming
- clause learning
- boolean functions
- combinatorial problems
- tree search
- phase transition
- conjunctive normal form
- state space
- genetic algorithm
- constraint solvers
- metaheuristic
- simulated annealing
- optimal solution