Conference Papers
Year : 2011
Laurent Simon : Connect in order to contact the contributor
https://hal.inria.fr/hal-00845484
Submitted on : Wednesday, July 17, 2013-11:21:31 AM
Last modification on : Friday, August 5, 2022-11:22:05 AM
Dates and versions
Identifiers
- HAL Id : hal-00845484 , version 1
Cite
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⟩
Collections
34
View
0
Download