Satisfiability on reconfigurable hardware.

Miron Abramovici, Daniel G. Saab

Browse the full FPL paper archive.