Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving - Sorbonne Université Access content directly
Conference Papers Year : 2019

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Hakan Metin
  • Function : Author
  • PersonId : 1030869
Fabrice Kordon
No file

Dates and versions

hal-02145257 , version 1 (02-06-2019)

Identifiers

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⟩
119 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More