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 et Systèmes - UR UPJV 4290
2 LRI - Laboratoire de Recherche en Informatique
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00845484
Contributor : Laurent Simon Connect in order to contact the contributor
Submitted on : Wednesday, July 17, 2013 - 11:21:31 AM
Last modification on : Friday, October 8, 2021 - 4:28:06 PM

Identifiers

  • HAL Id : hal-00845484, version 1

Collections

CNRS | UMR8623 | INRIA | U-PICARDIE | MIS | EC-PARIS | UPJV-MIS-GOC

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

81

 

Contact                    Legal Notice                    Personal Data