Login / Signup
Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs.
Hariprasadh Govindasamy
Babak Esfandiari
Paulo Garcia
Published in:
ACM Great Lakes Symposium on VLSI (2024)
Keyphrases
</>
constraint propagation
sat solving
constraint satisfaction problems
temporal constraints
constraint satisfaction
constraint programming
genetic algorithm
model checking
sat solvers
search space
temporal reasoning
sat problem
symmetry breaking