Communication Dans Un Congrès
Année : 2019
Fabrice Kordon : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-02145257
Soumis le : dimanche 2 juin 2019-11:38:19
Dernière modification le : samedi 7 octobre 2023-21:36:22
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⟩
133
Consultations
0
Téléchargements