<div class="csl-bib-body">
<div class="csl-entry">Schidler, A., & Szeider, S. (2022). A SAT Approach to Twin-Width. In <i>2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)</i> (pp. 67–77). https://doi.org/10.1137/1.9781611977042.6</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/158345
-
dc.language.iso
en
-
dc.subject
slim
en
dc.subject
reveal
en
dc.subject
Twin-Width
en
dc.subject
SAT-encodings
en
dc.title
A SAT Approach to Twin-Width
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-1-61197-704-2
-
dc.description.startpage
67
-
dc.description.endpage
77
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-01 - Forschungsbereich Algorithms and Complexity
-
tuw.publisher.doi
10.1137/1.9781611977042.6
-
dc.description.numberOfPages
11
-
tuw.event.name
Symposium on Algorithm Engineering and Experiments 2022
en
tuw.event.startdate
09-01-2022
-
tuw.event.enddate
10-01-2022
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Alexandria, VA
-
tuw.event.country
US
-
tuw.event.presenter
Schidler, André
-
tuw.presentation.online
Online
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
restricted
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity