FPGA acceleration of enhanced boolean constraint propagation for SAT solvers.

Jason Thong Nicola Nicolici

Published 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