Local Consistencies in SAT

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

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〉

Partager

Métriques

Consultations de la notice

69