Schidler, Andre

9 publications

ICML 2025 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms Christian Komusiewicz, Andre Schidler, Frank Sommer, Manuel Sorge, Luca Pascal Staus

JAIR 2024 SAT-Based Decision Tree Learning for Large Data Sets André Schidler, Stefan Szeider

IJCAI 2023 Computing Twin-Width with SAT and Branch & Bound André Schidler, Stefan Szeider

JAIR 2022 Threshold Treewidth and Hypertree Width Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider

AAAI 2022 Tractable Abstract Argumentation via Backdoor-Treewidth Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran

IJCAI 2021 Backdoor DNFs Sebastian Ordyniak, André Schidler, Stefan Szeider

IJCAI 2021 Computing Optimal Hypertree Decompositions with SAT André Schidler, Stefan Szeider

AAAI 2021 SAT-Based Decision Tree Learning for Large Data Sets André Schidler, Stefan Szeider

IJCAI 2020 Threshold Treewidth and Hypertree Width Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider