Satisfiabilité Minimale et Applications

Type de document :
Communication dans un congrès
Journées Francophones de Programmation par Contraintes, Jun 2011, Lyon, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00845484
Contributeur : Laurent Simon <>
Soumis le : mercredi 17 juillet 2013 - 11:21:31
Dernière modification le : mardi 24 avril 2018 - 13:51:41

Identifiants

  • HAL Id : hal-00845484, version 1

Collections

Citation

Chu Min Li, Zhu Zhu, Félip Manya, Laurent Simon. Satisfiabilité Minimale et Applications. Journées Francophones de Programmation par Contraintes, Jun 2011, Lyon, France. 2011. 〈hal-00845484〉

Partager

Métriques

Consultations de la notice

55