Conference Papers
Year : 2019
Fabrice Kordon : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-02145257
Submitted on : Sunday, June 2, 2019-11:38:19 AM
Last modification on : Tuesday, April 11, 2023-3:14:05 PM
Cite
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⟩
113
View
0
Download