×
1999
Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.
[DOI]
Pak K. Chan
,
Mark J. Boyd
,
Sezer Gören
,
K. Klenk
,
V. Kodavati
,
R. Kundu
,
M. Margolese
,
J. Sun
,
Katsuharu Suzuki
,
E. Thorne
,
X. Wang
,
J. Xu
,
M. Zhu
Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999