<div class="csl-bib-body">
<div class="csl-entry">Szeider, S. (2025, August 2). <i>SAT Modulo Symmetries: A Survey</i> [Presentation]. the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Stuttgart, Germany. http://hdl.handle.net/20.500.12708/225759</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/225759
-
dc.description.abstract
SAT modulo Symmetries (SMS) is a framework for exhaustive isomorph-free generation of combinatorial objects with prescribed properties. The framework tightly integrates a CDCL SAT solver with a custom dynamic symmetry-breaking algorithm through the IPASIR-Up interface. During solving, partially defined graphs are tested for extendability to canonical fully defined graphs; when extension is impossible, a blocking clause is learned. The framework handles co-NP problems such as non-k-colorability and planarity through additional propagators. SMS generates DRAT proofs, providing an additional layer of confidence in the results. This talk will present the theoretical foundations of SMS, examine applications to extremal combinatorics, and demonstrate the system in action.
en
dc.language.iso
en
-
dc.subject
SAT modulo Symmetries
en
dc.subject
graphs
en
dc.subject
NP problems
en
dc.title
SAT Modulo Symmetries: A Survey
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-01 - Forschungsbereich Algorithms and Complexity
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.author.orcid
0000-0001-8994-1656
-
tuw.event.name
the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025)
en
tuw.event.startdate
02-08-2025
-
tuw.event.enddate
02-08-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Stuttgart
-
tuw.event.country
DE
-
tuw.event.presenter
Szeider, Stefan
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference presentation
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity
