Communication Dans Un Congrès Année : 2019

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
293 Consultations
0 Téléchargements

Altmetric

Partager

  • More