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