Skip to Main content Skip to Navigation
Conference papers

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Complete list of metadata

https://hal.sorbonne-universite.fr/hal-02145257
Contributor : Fabrice Kordon Connect in order to contact the contributor
Submitted on : Sunday, June 2, 2019 - 11:38:19 AM
Last modification on : Thursday, October 21, 2021 - 3:16:34 PM

Identifiers

Citation

Hakan Metin, Souheib Baarir, Fabrice Kordon. Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. NASA Formal Methods Symposium, May 2019, Houston, United States. pp.316-332, ⟨10.1007/978-3-030-20652-9_21⟩. ⟨hal-02145257⟩

Share

Metrics

Record views

150