Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers.

Valery Sklyarov, Iouliia Skliarova, Bruno Figueiredo Pimentel, Joel Arrais

Browse the full FPL paper archive.