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

287