Andre Schidler

Recent Publications

Backdoor DNFs
Sebastian Ordyniak, Andre Schidler, Stefan Szeider
Journal of Computer and System Sciences, volume 144, pages 103547, 2024.
bib Project Project DOI
Computing twin-width with SAT and branch \& bound
Andre Schidler, Stefan Szeider
The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19–25, 2023, Macao, S.A.R. (Edith Elkind), pages 2013-2021, 2023, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
PDF bib Project Project DOI
SAT-Boosted Tabu Search for Coloring Massive Graphs
Andre Schidler, Stefan Szeider
J. Exp. Algorithmics, volume 2825, number 1.5, pages 1-19, 2023.
bib Project Project DOI
Threshold Treewidth and Hypertree Width
Robert Ganian, Andre Schidler, Manuel Sorge, Stefan Szeider
Journal of Artificial Intelligence Research, volume 74, pages 1687-1713, 2022.
PDF bib Project Project Project DOI
Tractable Abstract Argumentation via Backdoor-Treewidth
Wolfgang Dvorak, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5608-5615, 2022, AAAI Press.
PDF bib Project Project