Szeider, Stefan

54 publications

AAAI 2025 Breaking Symmetries in Quantified Graph Search: A Comparative Study Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider

JAIR 2025 Generating Streamlining Constraints with Large Language Models Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

ICML 2025 Optimal Decision Tree Pruning Revisited: Algorithms and Complexity Juha Harviainen, Frank Sommer, Manuel Sorge, Stefan Szeider

AAAI 2024 A General Theoretical Framework for Learning Smallest Interpretable Models Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

IJCAI 2024 Compilation and Fast Model Counting Beyond CNF Alexis de Colnet, Stefan Szeider, Tianwei Zhang

AAAI 2024 Hardness of Random Reordered Encodings of Parity for Resolution and CDCL Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

AAAI 2024 Learning Small Decision Trees for Data of Low Rank-Width Konrad K. Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

IJCAI 2024 Revisiting Causal Discovery from a Complexity-Theoretic Perspective Robert Ganian, Viktoriia Korchemna, Stefan Szeider

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

AAAI 2024 SAT-Based Tree Decomposition with Iterative Cascading Policy Selection Hai Xia, Stefan Szeider

JAIR 2024 Satisfiability Modulo User Propagators Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

AAAI 2023 Circuit Minimization with QBF-Based Exact Synthesis Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

IJCAI 2023 Co-Certificate Learning with SAT Modulo Symmetries Markus Kirchweger, Tomás Peitl, Stefan Szeider

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

AAAI 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity Johannes Klaus Fichte, Markus Hecher, Stefan Szeider

IJCAI 2023 Learning Small Decision Trees with Large Domain Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

ICML 2023 The Computational Complexity of Concise Hypersphere Classification Eduard Eiben, Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider

IJCAI 2023 The Parameterized Complexity of Finding Concise Local Explanations Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

UAI 2022 Learning Large Bayesian Networks with Expert Constraints Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

JAIR 2022 Sum-of-Products with Default Values: Algorithms and Complexity Results Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, 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

JAIR 2021 Finding the Hardest Formulas for Resolution Tomás Peitl, Stefan Szeider

IJCAI 2021 Finding the Hardest Formulas for Resolution (Extended Abstract) Tomás Peitl, Stefan Szeider

NeurIPS 2021 Learning Fast-Inference Bayesian Networks Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

AAAI 2021 Parameterized Complexity of Small Decision Tree Learning Sebastian Ordyniak, Stefan Szeider

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

AAAI 2021 The Parameterized Complexity of Clustering Incomplete Data Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider

AAAI 2021 Turbocharging Treewidth-Bounded Bayesian Network Structure Learning Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

AAAI 2020 On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider

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

JAIR 2019 Dependency Learning for QBF Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

NeurIPS 2019 The Parameterized Complexity of Cascading Portfolio Scheduling Eduard Eiben, Robert Ganian, Iyad Kanj, Stefan Szeider

ICML 2018 Parameterized Algorithms for the Matrix Completion Problem Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider

IJCAI 2017 A SAT Approach to Branchwidth Neha Lodha, Sebastian Ordyniak, Stefan Szeider

AAAI 2017 Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable M. S. Ramanujan, Stefan Szeider

JAIR 2015 On the Subexponential-Time Complexity of CSP Ronald de Haan, Iyad A. Kanj, Stefan Szeider

AAAI 2014 Backdoors into Heterogeneous Classes of SAT and CSP Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivný

IJCAI 2013 Backdoors to Abduction Andreas Pfandler, Stefan Rümmele, Stefan Szeider

AAAI 2013 Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider

AAAI 2013 On the Subexponential Time Complexity of CSP Iyad A. Kanj, Stefan Szeider

JAIR 2013 Parameterized Complexity Results for Exact Bayesian Network Structure Learning Sebastian Ordyniak, Stefan Szeider

AAAI 2013 Parameterized Complexity Results for Plan Reuse Ronald de Haan, Anna Roubícková, Stefan Szeider

AAAI 2012 Don't Be Strict in Local Search! Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider

AAAI 2012 On Finding Optimal Polytrees Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider

AAAI 2012 The Complexity of Planning Revisited - A Parameterized Analysis Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider

IJCAI 2011 Augmenting Tractable Fragments of Abstract Argumentation Sebastian Ordyniak, Stefan Szeider

IJCAI 2011 Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider

IJCAI 2011 Kernels for Global Constraints Serge Gaspers, Stefan Szeider

AAAI 2011 Limits of Preprocessing Stefan Szeider

UAI 2010 Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak, Stefan Szeider

AAAI 2008 Backdoor Trees Marko Samer, Stefan Szeider