A pure hardware k-SAT solver architecture for FPGA based on generic tree-search - Université de Lorraine
Conference Papers Year : 2017
No file

Dates and versions

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

Identifiers

Cite

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⟩
18 View
0 Download

Altmetric

Share

More