Control-based clause sharing in Parallel SAT

Youssef Hamadi 1, 2, 3 Said Jabbour 4 Lakhdar Saïs 4
1 MSR - INRIA - Microsoft Research - Inria Joint Centre
2 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 Microsoft - Microsoft Research [Cambridge]
4 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Book sections
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00870013
Contributor : Francois Chevallier <>
Submitted on : Friday, October 4, 2013 - 4:20:29 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:27 PM

Identifiers

  • HAL Id : hal-00870013, version 1

Collections

UNIV-ARTOIS | CNRS | INRIA | LIX | X | X-LIX | PARISTECH | X-DEP-INFO

Citation

Youssef Hamadi, Said Jabbour, Lakhdar Saïs. Control-based clause sharing in Parallel SAT. Y. Hamadi, E. Monfroy, F. Saubion. Autonomous Search, Springer, pp.245-267, 2012. ⟨hal-00870013⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

329

Contact

CCSD