A new FPGA-based DPLL algorithm to improve SAT solvers - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
Fichier non déposé

Dates et versions

hal-03293452 , version 1 (21-07-2021)

Identifiants

Citer

Khadija Bousmar, Fabrice Monteiro, Zineb Habbas, Sofiene Dellagi, Abbas Dandache. 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⟩. ⟨hal-03293452⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More