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 : Wednesday, March 27, 2019 - 4:41:27 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

280