( en | de | ru )

 

Disambiguierung von "Schidler, André"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tractable Abstract Argumentation via Backdoor-Treewidth.

, , , , , und . AAAI, Seite 5608-5615. AAAI Press, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karl Wilhelm Andrée

Emil Andrée

Gustav André

Michael André

Dieter André

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT Encodings and Beyond (Dagstuhl Seminar 23261)., , , und . Dagstuhl Reports, 13 (6): 106-122 (2023)Computing optimal hypertree decompositions with SAT., und . Artif. Intell., (Dezember 2023)Computing Twin-width with SAT and Branch & Bound., und . IJCAI, Seite 2013-2021. ijcai.org, (2023)Computing Optimal Hypertree Decompositions., und . ALENEX, Seite 1-11. SIAM, (2020)Tractable Abstract Argumentation via Backdoor-Treewidth., , , , , und . AAAI, Seite 5608-5615. AAAI Press, (2022)Weighted Model Counting with Twin-Width., , , , und . SAT, Volume 236 von LIPIcs, Seite 15:1-15:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Threshold Treewidth and Hypertree Width., , , und . CoRR, (2022)A SAT Approach to Twin-Width., und . CoRR, (2021)SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge).. SoCG, Volume 224 von LIPIcs, Seite 74:1-74:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A SAT Approach to Twin-Width., und . ALENEX, Seite 67-77. SIAM, (2022)