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

Bousmar, Khadija ; Monteiro, Fabrice ; et al.

In: International conference on complexe systems and logistics (ICOSYL’18) ; https://hal.univ-lorraine.fr/hal-03293480 ; International conference on complexe systems and logistics (ICOSYL’18), Apr 2018, Montreuil, Paris, France, 2018

Konferenz

Wie komme ich dran?

International audience

Titel:	A pure hardware K-SAT solver architecture using FPGA for developing decision-support tools for industrial problems
Autor/in / Beteiligte Person:	Bousmar, Khadija ; Monteiro, Fabrice ; Habbas, Zineb ; Dellagi, Sofiene ; Dandache, Abbas ; Laboratoire de Génie Informatique, de Production et de Maintenance (LGIPM) ; Université de Lorraine (UL) ; Laboratoire Pluridisciplinaire de Recherche et Innovation (LPRI) ; Ecole Marocaine des Sciences de l'Ingénieur (EMSI)
Link:	https://hal.univ-lorraine.fr/hal-03293480
Zeitschrift:	International conference on complexe systems and logistics (ICOSYL’18) ; https://hal.univ-lorraine.fr/hal-03293480 ; International conference on complexe systems and logistics (ICOSYL’18), Apr 2018, Montreuil, Paris, France, 2018
Veröffentlichung:	HAL CCSD, 2018
Medientyp:	Konferenz
Schlagwort:	Montreuil Paris France [SPI.TRON]Engineering Sciences [physics]/Electronics [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] [INFO.INFO-ES]Computer Science [cs]/Embedded Systems [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing [SPI]Engineering Sciences [physics] Subject Geographic: Montreuil Paris France
Sonstiges:	Nachgewiesen in: BASE Sprachen: English Collection: Université de Lorraine: HAL Document Type: conference object Language: English Relation: hal-03293480; https://hal.univ-lorraine.fr/hal-03293480

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.