A pure hardware k-sat solver architecture using fpga for developing decision-support tools for industrial problems - Université de Lorraine Access content directly
Conference Papers Year : 2017

A pure hardware k-sat solver architecture using fpga for developing decision-support tools for industrial problems

Domains

Electronics Hardware Architecture [cs.AR] Embedded Systems Signal and Image processing Engineering Sciences [physics]

Fabrice DE ALMEIDA PEREIRA MONTEIRO  : Connect in order to contact the contributor

https://hal.univ-lorraine.fr/hal-03293472

Submitted on : Wednesday, July 21, 2021-9:34:52 AM

Last modification on : Monday, September 25, 2023-12:28:09 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03293472 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LGIPM UNIV-LORRAINE LCOMS-UL
22 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More