HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks.

Soowang Park, Jae-Won Nam, Sandeep K. Gupta

Browse the full ASPDAC paper archive.