Skip to Main content Skip to Navigation
Conference papers

Concilier Parallélisme et Déterminisme dans la Résolution de SAT

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00869896
Contributor : Francois Chevallier <>
Submitted on : Friday, October 4, 2013 - 1:59:27 PM
Last modification on : Thursday, March 5, 2020 - 6:27:24 PM

Identifiers

  • HAL Id : hal-00869896, version 1

Collections

Citation

Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs. Concilier Parallélisme et Déterminisme dans la Résolution de SAT. 7ièmes Journées Francophones de la Programmation par Contraintes (JFPC'11), 2011, France. pp.162-172. ⟨hal-00869896⟩

Share

Metrics

Record views

304