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

Document type :
Conference papers
Journée Informatique Région Centre (JIRC), Jan 2010, Blois, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00454603
Contributor : Jérôme Durand-Lose <>
Submitted on : Monday, February 8, 2010 - 10:36:09 PM
Last modification on : Tuesday, October 24, 2017 - 1:05:45 AM

Identifiers

  • HAL Id : hal-00454603, version 1

Collections

Citation

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〉

Share

Metrics

Record views

69