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

329