Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs.

Hariprasadh Govindasamy Babak Esfandiari Paulo Garcia

Published in: CoRR (2024)

Keyphrases

constraint propagation
sat solving
constraint satisfaction problems
constraint satisfaction
constraint programming
reinforcement learning
computational complexity
lower bound
state space
sat solvers
temporal constraints
arc consistency