Skip to Main content Skip to Navigation
Conference papers

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02545756
Contributor : Souheib Baarir <>
Submitted on : Friday, April 17, 2020 - 12:47:14 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:03 AM

Identifiers

  • HAL Id : hal-02545756, version 1

Citation

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon. On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States. ⟨hal-02545756⟩

Share

Metrics

Record views

118