A new FPGA-based DPLL algorithm to improve SAT solvers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Khadija Bousmar, Fabrice Monteiro, Zineb Habbas, Sofiène Dellagi, Abbas Dandache. A new FPGA-based DPLL algorithm to improve SAT solvers. In 27th International Conference on Microelectronics, ICM 2015, Casablanca, Morocco, December 20-23, 2015. pages 287-290, IEEE, 2015. [doi]

Abstract is missing.

runs on WebDSL