Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Hakan Metin
  • Fonction : Auteur
  • PersonId : 1030869
Modélisation et Vérification
Souheib Baarir
Modélisation et Vérification
Université Paris Nanterre
Fabrice Kordon
Modélisation et Vérification
CV

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL]

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 : mercredi 30 octobre 2024-13:34:09

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE
179 Consultations
0 Téléchargements

Altmetric

Partager

More