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
Modélisation et Vérification
Souheib Baarir
  • Function : Author
  • PersonId : 961876
Modélisation et Vérification
Université Paris Nanterre
Fabrice Kordon
Modélisation et Vérification
CV

Domains

Software Engineering [cs.SE] Formal Languages and Automata Theory [cs.FL]

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 : Saturday, October 7, 2023-9:36:22 PM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE
118 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More