An Efficient Hardware Implementation of a SAT Problem Solver on FPGA.

Teodor Ivan, El Mostapha Aboulhamid

Browse the full DSD paper archive.