About: A new FPGA-based DPLL algorithm to improve SAT solvers

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A new FPGA-based DPLL algorithm to improve SAT solvers Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
Author	Monteiro, Fabrice Dellagi, Sofiène (1977-... ; chercheur en automatique) Habbas, Zineb (19..-.... ; informaticienne) Dandache, Abbas (19..-.... ; auteur en microélectronique) Bousmar, Khadija (1990-....)
Bibliographic Citation	Bousmar Khadija, Monteiro Fabrice, Habbas Zineb, Dellagi Sofiene, Dandache Abbas. A new FPGA-based DPLL algorithm to improve SAT solvers. 2015 27th International Conference on Microelectronics (ICM), Dec 2015, Casablanca, France. pp.287-290, ⟨10.1109/ICM.2015.7438045⟩
Title	A new FPGA-based DPLL algorithm to improve SAT solvers
dc:date	2015
Digital Object Identifier (DOI)	10.1109/ICM.2015.7438045

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software