Proceedings

Stefan Szeider

Algorithms and Complexity Group , TU Wien , Vienna , Austria

15 papers in the IJCAI proceedings

IJCAI 2024

Compilation and Fast Model Counting beyond CNF
with Alexis de Colnet, Tianwei Zhang
doi:10.24963/ijcai.2024/367
Details PDF
Revisiting Causal Discovery from a Complexity-Theoretic Perspective
with Robert Ganian, Viktoriia Korchemna
doi:10.24963/ijcai.2024/374
Details PDF

IJCAI 2023

Co-Certificate Learning with SAT Modulo Symmetries
with Markus Kirchweger, Tomáš Peitl
doi:10.24963/ijcai.2023/216
Details PDF
Computing Twin-width with SAT and Branch & Bound
with André Schidler
doi:10.24963/ijcai.2023/224
Details PDF
Learning Small Decision Trees with Large Domain
with Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani
doi:10.24963/ijcai.2023/355
Details PDF
The Parameterized Complexity of Finding Concise Local Explanations
with Sebastian Ordyniak, Giacomo Paesani
doi:10.24963/ijcai.2023/369
Details PDF

IJCAI 2021

Backdoor DNFs
with Sebastian Ordyniak, Andre Schidler
doi:10.24963/ijcai.2021/194
Details PDF
Computing Optimal Hypertree Decompositions with SAT
with Andre Schidler
doi:10.24963/ijcai.2021/196
Details PDF
Finding the Hardest Formulas for Resolution (Extended Abstract)
with Tomáš Peitl
doi:10.24963/ijcai.2021/657
Details PDF

IJCAI 2020

Threshold Treewidth and Hypertree Width
with Robert Ganian, Andre Schidler, Manuel Sorge
doi:10.24963/ijcai.2020/263
Details PDF

IJCAI 2017

A SAT Approach to Branchwidth
with Neha Lodha, Sebastian Ordyniak
doi:10.24963/ijcai.2017/689
Details PDF

IJCAI 2013

Backdoors to Abduction
with Andreas Pfandler, Stefan Rümmele
Details PDF

IJCAI 2011

Augmenting Tractable Fragments of Abstract Argumentation
with Sebastian Ordyniak
doi:10.5591/978-1-57735-516-8/IJCAI11-177
Details PDF
Backdoors to Tractable Answer-Set Programming
with Johannes Klaus Fichte
doi:10.5591/978-1-57735-516-8/IJCAI11-150
Details PDF
Kernels for Global Constraints
with Serge Gaspers
doi:10.5591/978-1-57735-516-8/IJCAI11-098
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards