SAT solving using FPGA-based heterogeneous computing
FPGA acceleration of enhanced boolean constraint propagation for SAT solvers