Reconfigurable Hardware SAT Solvers: A Survey of Systems.

Iouliia Skliarova, Antnio de Brito Ferrari

Browse the full FPL paper archive.