Construction géométrique pour résoudre SAT en temps constant - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Construction géométrique pour résoudre SAT en temps constant

Domains

Computational Complexity [cs.CC]

Jérôme Durand-Lose  : Connect in order to contact the contributor

https://hal.science/hal-00454603

Submitted on : Monday, February 8, 2010-10:36:09 PM

Last modification on : Saturday, June 25, 2022-10:10:59 AM

No file

Dates and versions

hal-00454603 , version 1 (08-02-2010)

Identifiers

  • HAL Id : hal-00454603 , version 1

Cite

Denys Duchier, Jérôme Durand-Lose, Maxime Senot. Construction géométrique pour résoudre SAT en temps constant. Journée Informatique Région Centre (JIRC), Jan 2010, Blois, France. ⟨hal-00454603⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS MSL MSL-THESE
43 View
0 Download

Share

Gmail Facebook X LinkedIn More