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 LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Type de document :
Chapitre d'ouvrage
Selected Revised Papers from SAT'03, 2919, Springer, pp.299-314, 2004, LNCS, 3-540-20851-8
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109164
Contributeur : Christine Carvalho de Matos <>
Soumis le : mardi 24 octobre 2006 - 07:34:48
Dernière modification le : jeudi 11 janvier 2018 - 06:27:07

Identifiants

  • HAL Id : lirmm-00109164, version 1

Citation

Christian Bessière, Emmanuel Hébrard, Toby Walsh. Local Consistencies in SAT. Selected Revised Papers from SAT'03, 2919, Springer, pp.299-314, 2004, LNCS, 3-540-20851-8. 〈lirmm-00109164〉

Partager

Métriques

Consultations de la notice

66