SAT Solving using FPGA-based Heterogeneous Computing.

Jason Thong, Nicola Nicolici

Browse the full ICCAD paper archive.