SAT solving using FPGA-based heterogeneous computing
A machine program for theorem-proving