Skip to Main content Skip to Navigation
Conference papers

Deterministic Parallel DPLL: System Description

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00870890
Contributor : Francois Chevallier <>
Submitted on : Tuesday, October 8, 2013 - 12:18:13 PM
Last modification on : Thursday, March 5, 2020 - 6:27:27 PM

Identifiers

  • HAL Id : hal-00870890, version 1

Collections

Citation

Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs. Deterministic Parallel DPLL: System Description. Pragmatics of SAT (POS'11), 2011, Ann Arbor, United States. pp.127-132. ⟨hal-00870890⟩

Share

Metrics

Record views

304