Relieving capacity limits on FPGA−based SAT−solvers (FMCAD, 2010)

(untitled) - Haller, L; Singh, S