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-03293472
Contributor : Fabrice de Almeida Pereira Monteiro <>
Submitted on : Wednesday, July 21, 2021 - 9:34:52 AM
Last modification on : Thursday, July 22, 2021 - 3:13:14 AM

Identifiers

  • HAL Id : hal-03293472, 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. 6ème conférence internationale sur l’Innovation et Nouvelles Tendances dans les Systèmes d’Information (INTIS'17), Nov 2017, Casablanca, Morocco. ⟨hal-03293472⟩

Share

Metrics

Record views

19