A pure hardware k-SAT solver architecture for FPGA based on generic tree-search - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Khadija Bousmar, Fabrice Monteiro, Zineb Habbas, Sofiene Dellagi, Abbas Dandache. A pure hardware k-SAT solver architecture for FPGA based on generic tree-search. 2017 29th International Conference on Microelectronics (ICM), Dec 2017, Beirut, Lebanon. pp.1-5, ⟨10.1109/ICM.2017.8268894⟩. ⟨hal-03293437⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More