Skip to Main content Skip to Navigation
Conference papers

Satisfiabilité Minimale et Applications

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

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⟩

Share

Metrics

Record views

70