Satisfiabilité Minimale et Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Satisfiabilité Minimale et Applications

Félip Manya
Laurent Simon
Fichier non déposé

Dates et versions

hal-00845484 , version 1 (17-07-2013)

Identifiants

  • HAL Id : hal-00845484 , version 1

Citer

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. ⟨hal-00845484⟩
36 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More