An FPGA-based Stochastic SAT Solver Leveraging Inter-Variable Dependencies.

Anh Hoang Ngoc Nguyen, Yuko Hara-Azumi

Browse the full FPL paper archive.