"A new FPGA-based DPLL algorithm to improve SAT solvers" . . . . "Bousmar Khadija, Monteiro Fabrice, Habbas Zineb, Dellagi Sofiene, Dandache Abbas. A new FPGA-based DPLL algorithm to improve SAT solvers. 2015 27th International Conference on Microelectronics (ICM), Dec 2015, Casablanca, France. pp.287-290, ⟨10.1109/ICM.2015.7438045⟩" . "2015" . . . "10.1109/ICM.2015.7438045" .