Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/158345
-
Titel: 
A SAT Approach to Twin-Width
en
Zitat: 
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
-
Verlags-DOI: 
10.1137/1.9781611977042.6
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Schidler, André 
Szeider, Stefan 
-
Organisations­einheit: 
E192-01 - Forschungsbereich Algorithms and Complexity 
-
Erschienen in: 
2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) 
-
ISBN: 
978-1-61197-704-2
-
Datum (veröffentlicht): 
2022
-
Veranstaltungs­name: 
Symposium on Algorithm Engineering and Experiments 2022 
en
Veranstaltungs­zeitraum: 
9-Jan-2022 - 10-Jan-2022
-
Veranstaltungs­ort: 
Alexandria, VA, Vereinigte Staaten von Amerika
-
Umfang: 
11
-
Peer Reviewed: 
Ja
-
Keywords: 
slim; reveal; Twin-Width; SAT-encodings
en
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

197
aufgerufen am 23.11.2023

Download(s)

2
aufgerufen am 23.11.2023

Google ScholarTM

Check