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 <>
Submitted on : Sunday, June 2, 2019 - 11:38:19 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM

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

134