A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware.

Miron Abramovici, Jos T. de Sousa, Daniel G. Saab

Browse the full DAC paper archive.