Skip to Main content Skip to Navigation
Conference papers

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-02145257
Contributor : Fabrice Kordon <>
Submitted on : Sunday, June 2, 2019 - 11:38:19 AM
Last modification on : Tuesday, November 19, 2019 - 9:29:28 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

111