Local Consistencies in SAT

Christian Bessière 1 Emmanuel Hébrard 2 Toby Walsh 3
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 4C UCC - Cork Constraint Computation Centre
Type de document :
Communication dans un congrès
SAT: Theory and Applications of Satisfiability Testing, 2003, Portofino, Italy. 2003
Liste complète des métadonnées
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269776
Contributeur : Christine Carvalho de Matos <>
Soumis le : jeudi 3 avril 2008 - 08:22:45
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • HAL Id : lirmm-00269776, version 1

Collections

COCONUT | LIRMM | MIPS | UNIV-MONTPELLIER

Citation

Christian Bessière, Emmanuel Hébrard, Toby Walsh. Local Consistencies in SAT. SAT: Theory and Applications of Satisfiability Testing, 2003, Portofino, Italy. 2003. 〈lirmm-00269776〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

91

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD