Communication Dans Un Congrès
Année : 2015
Fabrice DE ALMEIDA PEREIRA MONTEIRO : Connectez-vous pour contacter le contributeur
https://hal.univ-lorraine.fr/hal-03293452
Soumis le : mercredi 21 juillet 2021-09:23:35
Dernière modification le : lundi 25 septembre 2023-12:28:09
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⟩
Collections
18
Consultations
0
Téléchargements