Skip to Main content Skip to Navigation
Book sections

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 : Thursday, March 5, 2020 - 6:27:25 PM

Identifiers

  • HAL Id : hal-00870013, version 1

Collections

UNIV-ARTOIS | CNRS | INRIA | LIX | X | X-LIX | 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

352