Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.

Pak K. Chan, Mark J. Boyd, Sezer Gren, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu

Browse the full FCCM paper archive.