Blocksolve: A bottom-up approach for solving quantified CSPs

Résumé : N/A
Type de document :
Communication dans un congrès
CP'06: 12th International Conference on Principles and Practice of Constraint Programming, Sep 2006, Nantes, France, pp.635-649, 2006
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00135534
Contributeur : Christian Bessiere <>
Soumis le : jeudi 8 mars 2007 - 10:41:51
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : mardi 6 avril 2010 - 21:38:20

Identifiants

  • HAL Id : lirmm-00135534, version 1

Collections

Citation

Guillaume Verger, Christian Bessière. Blocksolve: A bottom-up approach for solving quantified CSPs. CP'06: 12th International Conference on Principles and Practice of Constraint Programming, Sep 2006, Nantes, France, pp.635-649, 2006. 〈lirmm-00135534〉

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

103