Skip to Main content Skip to Navigation
Conference papers

A pure hardware K-SAT solver architecture using FPGA for developing decision-support tools for industrial problems

Complete list of metadata

https://hal.univ-lorraine.fr/hal-03293480
Contributor : Fabrice de Almeida Pereira Monteiro <>
Submitted on : Wednesday, July 21, 2021 - 9:44:16 AM
Last modification on : Wednesday, July 21, 2021 - 12:38:45 PM

Identifiers

  • HAL Id : hal-03293480, version 1

Collections

Citation

Khadija Bousmar, Fabrice Monteiro, Zineb Habbas, Sofiene Dellagi, Abbas Dandache. A pure hardware K-SAT solver architecture using FPGA for developing decision-support tools for industrial problems. International conference on complexe systems and logistics (ICOSYL’18), Apr 2018, Montreuil, Paris, France. ⟨hal-03293480⟩

Share

Metrics

Record views

19