Skip to content

Sebastian Ordyniak

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

85

Venues

24

Active years

2008–2026

Best venue rank

A*

Where they publish

Papers

85 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIComputing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms.Sebastian Ordyniak, Mateusz Rychlicki, Stefan Szeider
2026KRResolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Jorke M. de Vlas
2026KRClausal Deletion Backdoors for QBF: a Parameterized Complexity Approach.Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2025ESAParameterized Approximability for Modular Linear Equations.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlstrm
2025WGBounding Width on Graph Classes of Constant Diameter.Konrad K. Dabrowski, Tala Eagling-Vose, Noleen Khler, Sebastian Ordyniak, Danil Paulusma
2024AAAILearning Small Decision Trees for Data of Low Rank-Width.Konrad K. Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
2024AAAIA General Theoretical Framework for Learning Smallest Interpretable Models.Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024ESASeparable Convex Mixed-Integer Optimization: Improved Algorithms and Lower Bounds.Cornelius Brand, Martin Kouteck, Alexandra Lassota, Sebastian Ordyniak
2024ICALPA Tight Subexponential-Time Algorithm for Two-Page Book Embedding.Robert Ganian, Haiko Mller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki
2024IJCAISolving Quantified Boolean Formulas with Few Existential Variables.Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2024ISAACExact Algorithms for Clustered Planarity with Linear Saturators.Giordano Da Lozzo, Robert Ganian, Siddharth Gupta, Bojan Mohar, Sebastian Ordyniak, Meirav Zehavi
2024KRExplaining Decisions in ML Models: A Parameterized Complexity Analysis.Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024MFCSCovering and Partitioning of Split, Chain and Cographs with Isometric Paths.Dibyayan Chakraborty, Haiko Mller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
2023ICMLThe Computational Complexity of Concise Hypersphere Classification.Eduard Eiben, Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider
2023IJCAILearning Small Decision Trees with Large Domain.Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
2023IJCAIThe Parameterized Complexity of Finding Concise Local Explanations.Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
2023LICSStructure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak
2023SODAAlmost Consistent Systems of Linear Equations.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlstrm
2022AAAIResolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
2022CPCSP Beyond Tractable Constraint Languages.Jan Dreier, Sebastian Ordyniak, Stefan Szeider
2022ESASAT Backdoors: Depth Beats Size.Jan Dreier, Sebastian Ordyniak, Stefan Szeider
2022ESAFinding a Cluster in Incomplete Data.Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
2022IJCAIThe Complexity of Envy-Free Graph Cutting.Argyrios Deligkas, Eduard Eiben, Robert Ganian, Thekla Hamm, Sebastian Ordyniak
2022WGAn Algorithmic Framework for Locally Constrained Homomorphisms.Laurent Bulteau, Konrad K. Dabrowski, Noleen Khler, Sebastian Ordyniak, Danil Paulusma
2021AAAIParameterized Algorithms for MILPs with Small Treedepth.Cornelius Brand, Martin Kouteck, Sebastian Ordyniak
2021AAAISolving Infinite-Domain CSPs Using the Patchwork Property.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
2021AAAIDisjunctive Temporal Problems under Structural Restrictions.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
2021AAAIThe Parameterized Complexity of Clustering Incomplete Data.Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
2021AAAIThe Complexity of Object Association in Multiple Object Tracking.Robert Ganian, Thekla Hamm, Sebastian Ordyniak
2021AAAIParameterized Complexity of Small Decision Tree Learning.Sebastian Ordyniak, Stefan Szeider
2021CPReasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors.Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak
2021IJCAIThe Parameterized Complexity of Connected Fair Division.Argyrios Deligkas, Eduard Eiben, Robert Ganian, Thekla Hamm, Sebastian Ordyniak
2021IJCAIBackdoor DNFs.Sebastian Ordyniak, Andr Schidler, Stefan Szeider
2020AAAIParameterized Complexity of Envy-Free Resource Allocation in Social Networks.Eduard Eiben, Robert Ganian, Thekla Hamm, Sebastian Ordyniak
2020AAAIOn the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank.Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider
2020KRFine-Grained Complexity of Temporal Problems.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
2020STACSParameterized Pre-Coloring Extension and List Coloring Problems.Gregory Z. Gutin, Diptapriyo Majumdar, Sebastian Ordyniak, Magnus Wahlstrm
2019AAAISolving Integer Quadratic Programming via Explicit and Structural Restrictions.Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak
2019ALENEXSAT-Encodings for Treecut Width and Treedepth.Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2019CPA Join-Based Hybrid Parameter for Constraint Satisfaction.Robert Ganian, Sebastian Ordyniak, Stefan Szeider
2019ESAGroup Activity Selection with Few Agent Types.Robert Ganian, Sebastian Ordyniak, C. S. Rahul
2019IJCAIA Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs.Christer Bckstrm, Peter Jonsson, Sebastian Ordyniak
2019IPCOInteger Programming and Incidence Treedepth.Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak, Michal Pilipczuk, Marcin Wrochna
2019WGThe Power of Cut-Based Parameters for Computing Edge Disjoint Paths.Robert Ganian, Sebastian Ordyniak
2018ICMLParameterized Algorithms for the Matrix Completion Problem.Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider
2018IJCAINovel Structural Parameters for Acyclic Planning Using Tree Embeddings.Christer Bckstrm, Peter Jonsson, Sebastian Ordyniak
2018IJCAIUnary Integer Linear Programming with Structural Restrictions.Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak
2018IJCAIA Structural Approach to Activity Selection.Eduard Eiben, Robert Ganian, Sebastian Ordyniak
2018STACSSmall Resolution Proofs for QBF using Dependency Treewidth.Eduard Eiben, Robert Ganian, Sebastian Ordyniak
2018STACSOn Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem.Robert Ganian, Fabian Klute, Sebastian Ordyniak
2018SoCSA Refined Understanding of Cost-Optimal Planning with Polytree Causal Graphs.Christer Bckstrm, Peter Jonsson, Sebastian Ordyniak
2017AAAIGoing Beyond Primal Treewidth for (M)ILP.Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan
2017IJCAISolving Integer Linear Programs with a Small Number of Global Variables and Constraints.Pavel Dvork, Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak
2017IJCAIA SAT Approach to Branchwidth.Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2017ISAACOn Structural Parameterizations of the Edge Disjoint Paths Problem.Robert Ganian, Sebastian Ordyniak, Ramanujan Sridharan
2017MFCSTowards a Polynomial Kernel for Directed Feedback Vertex Set.Benjamin Bergougnoux, Eduard Eiben, Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan
2017SATSAT-Encodings for Special Treewidth and Pathwidth.Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2016AAAIUsing Decomposition-Parameters for QBF: Mind the Prefix!Eduard Eiben, Robert Ganian, Sebastian Ordyniak
2016AAAIThe Complexity Landscape of Decompositional Parameters for ILP.Robert Ganian, Sebastian Ordyniak
2016ECAIClique-Width and Directed Width Measures for Answer-Set Programming.Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
2016ESACounting Linear Extensions: Parameterizations by Treewidth.Eduard Eiben, Robert Ganian, Kustaa Kangas, Sebastian Ordyniak
2016IWOCASOBRA - Shielding Optimization for BRAchytherapy.Guillaume Blin, Marie Gasparoux, Sebastian Ordyniak, Alexandru Popa
2016LATINEdge-Editing to a Dense and a Sparse Graph Class.Michal Kotrbck, Rastislav Krlovic, Sebastian Ordyniak
2016MFCSOn the Complexity Landscape of Connected f-Factor Problems.Robert Ganian, N. S. Narayanaswamy, Sebastian Ordyniak, C. S. Rahul, M. S. Ramanujan
2016SATA SAT Approach to Branchwidth.Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2015AAAIVariable-Deletion Backdoors to Planning.Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2015FOCSFO Model Checking on Posets of Bounded Width.Jakub Gajarsk, Petr Hlinen, Daniel Lokshtanov, Jan Obdrzlek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh
2015MFCSParameterized Algorithms for Parity Games.Jakub Gajarsk, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
2014AAAIBackdoors into Heterogeneous Classes of SAT and CSP.Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivn
2014AAAIBackdoors to Planning.Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2014ISAACFaster Existential FO Model Checking on Posets.Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Sebastian Ordyniak
2013CIACParameterized Complexity and Kernel Bounds for Hard Planning Problems.Christer Bckstrm, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider
2013ESAKernelization Using Structural Parameters on Sparse Graph Classes.Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Snchez Villaamil, Somnath Sikdar
2013STACSBackdoors to q-Horn.Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider
2013SATUpper and Lower Bounds for Weak Backdoor Set Detection.Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider
2012AAAIThe Complexity of Planning Revisited - A Parameterized Analysis.Christer Bckstrm, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider
2012AAAIOn Finding Optimal Polytrees.Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
2012AAAIDon't Be Strict in Local Search!Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
2012COMMAValued-Based Argumentation for Tree-like Value Graphs.Eun Jung Kim, Sebastian Ordyniak
2011IJCAIAugmenting Tractable Fragments of Abstract Argumentation.Sebastian Ordyniak, Stefan Szeider
2011SATSatisfiability of Acyclic and almost Acyclic CNF Formulas (II).Sebastian Ordyniak, Danil Paulusma, Stefan Szeider
2010COMMAAlgorithms and Complexity Results for Persuasive Argumentation.Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
2010UAIAlgorithms and Complexity Results for Exact Bayesian Structure Learning.Sebastian Ordyniak, Stefan Szeider
2009WGDistanceStephan Kreutzer, Sebastian Ordyniak
2008WGDigraph Decompositions and Monotonicity in Digraph Searching.Stephan Kreutzer, Sebastian Ordyniak