Skip to Main content Skip to Navigation
Conference papers

Satisfiabilité Minimale et Applications

Chu Min Li 1 Zhu Zhu 1 Félip Manya Laurent Simon 2
1 MIS - Modélisation, Information & Systèmes
2 LRI - Laboratoire de Recherche en Informatique
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-00845484
Contributor : Laurent Simon <>
Submitted on : Wednesday, July 17, 2013 - 11:21:31 AM
Last modification on : Wednesday, September 16, 2020 - 4:54:38 PM

Identifiers

  • HAL Id : hal-00845484, version 1

Collections

CNRS | UMR8623 | INRIA

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. ⟨hal-00845484⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

70

 

Contact                    Legal Notice                    Personal Data