Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ? - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

Gilles Audemard
Centre de Recherche en Informatique de Lens
Mouny Samy Modeliar
Centre de Recherche en Informatique de Lens
CV
Laurent Simon
  • Fonction : Auteur
Laboratoire de Recherche en Informatique

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
paper_46.pdf (697.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yves Deville  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00390919

Soumis le : mercredi 3 juin 2009-09:05:36

Dernière modification le : samedi 10 février 2024-03:07:54

Archivage à long terme le : lundi 15 octobre 2012-11:41:02

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00390919 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS EC-PARIS CNRS JFPC09 UMR8623 UNIV-PARIS-SACLAY CRIL
149 Consultations
71 Téléchargements

Partager

Gmail Facebook X LinkedIn More