An Efficient Hardware Implementation of a SAT Problem Solver on FPGA. - Teodor Ivan; El Mostapha Aboulhamid (DSD, 2013)

Exploring limits of parallelism in FPGA-based Boolean satisfiability. - Teodor Ivan; El Mostapha Aboulhamid (MECO, 2013)