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
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〉
