Skip to Main content Skip to Navigation
Book sections

Control-based clause sharing in Parallel SAT

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

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⟩

Share

Metrics

Record views

352