Skip to Main content Skip to Navigation
Conference papers

A pure hardware k-SAT solver architecture for FPGA based on generic tree-search

Complete list of metadata

https://hal.univ-lorraine.fr/hal-03293437
Contributor : Fabrice de Almeida Pereira Monteiro <>
Submitted on : Wednesday, July 21, 2021 - 9:15:29 AM
Last modification on : Wednesday, July 21, 2021 - 12:38:35 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

27