Implementing CSAT Local Search on FPGAs.

Martin Henz, Edgar Tan, Roland H. C. Yap

Browse the full FPL paper archive.