SAT solving using FPGA-based heterogeneous computing
An Extensible SAT-solver