FPGA acceleration of enhanced boolean constraint propagation for SAT solvers.

Jason Thong, Nicola Nicolici

Browse the full ICCAD paper archive.