Record link: 
http://hdl.handle.net/20.500.12708/158345
-
Title: 
A SAT Approach to Twin-Width
en
Citation: 
Schidler, A., & Szeider, S. (2022). A SAT Approach to Twin-Width. In 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) (pp. 67–77). https://doi.org/10.1137/1.9781611977042.6
-
Publisher DOI: 
10.1137/1.9781611977042.6
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Schidler, André 
Szeider, Stefan 
-
Organisational Unit: 
E192-01 - Forschungsbereich Algorithms and Complexity 
-
Published in: 
2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) 
-
ISBN: 
978-1-61197-704-2
-
Date (published): 
2022
-
Event name: 
Symposium on Algorithm Engineering and Experiments 2022 
en
Event date: 
9-Jan-2022 - 10-Jan-2022
-
Event place: 
Alexandria, VA, United States of America (the)
-
Number of Pages: 
11
-
Peer reviewed: 
Yes
-
Keywords: 
slim; reveal; Twin-Width; SAT-encodings
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

162
checked on Nov 23, 2023

Download(s)

2
checked on Nov 23, 2023

Google ScholarTM

Check