Solving Satisfiability Problems on FPGAs.

Takayuki Suyama, Makoto Yokoo, Hiroshi Sawada

Browse the full FPL paper archive.