Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ? - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?

Abstract

Non disponible

Domains

Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
paper_46.pdf (697.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Yves Deville  : Connect in order to contact the contributor

https://hal.science/hal-00390919

Submitted on : Wednesday, June 3, 2009-9:05:36 AM

Last modification on : Saturday, February 10, 2024-3:07:54 AM

Long-term archiving on: Monday, October 15, 2012-11:41:02 AM

Download

Dates and versions

hal-00390919 , version 1 (03-06-2009)

Identifiers

  • HAL Id : hal-00390919 , version 1

Cite

Gilles Audemard, Mouny Samy Modeliar, Laurent Simon. Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?. Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.245-255. ⟨hal-00390919⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS EC-PARIS CNRS JFPC09 UMR8623 UNIV-PARIS-SACLAY CRIL
149 View
71 Download

Share

Gmail Facebook X LinkedIn More