Proceedings

Sebastian Ordyniak

Algorithms group , University of Sheffield , UK

12 papers in the IJCAI proceedings

IJCAI 2024

Solving Quantified Boolean Formulas with Few Existential Variables
with Leif Eriksson, Victor Lagerkvist, George Osipov, Fahad Panolan, Mateusz Rychlicki
doi:10.24963/ijcai.2024/209
Details PDF

IJCAI 2023

Learning Small Decision Trees with Large Domain
with Eduard Eiben, Giacomo Paesani, Stefan Szeider
doi:10.24963/ijcai.2023/355
Details PDF
The Parameterized Complexity of Finding Concise Local Explanations
with Giacomo Paesani, Stefan Szeider
doi:10.24963/ijcai.2023/369
Details PDF

IJCAI 2022

The Complexity of Envy-Free Graph Cutting
with Argyrios Deligkas, Eduard Eiben, Robert Ganian, Thekla Hamm
doi:10.24963/ijcai.2022/34
Details PDF

IJCAI 2021

Backdoor DNFs
with Andre Schidler, Stefan Szeider
doi:10.24963/ijcai.2021/194
Details PDF
The Parameterized Complexity of Connected Fair Division
with Argyrios Deligkas, Eduard Eiben, Robert Ganian, Thekla Hamm
doi:10.24963/ijcai.2021/20
Details PDF

IJCAI 2019

A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs
with Christer Bäckström, Peter Jonsson
doi:10.24963/ijcai.2019/848
Details PDF

IJCAI 2018

A Structural Approach to Activity Selection
with Eduard Eiben, Robert Ganian
doi:10.24963/ijcai.2018/28
Details PDF
Novel Structural Parameters for Acyclic Planning Using Tree Embeddings
with Christer Bäckström, Peter Jonsson
doi:10.24963/ijcai.2018/647
Details PDF
Unary Integer Linear Programming with Structural Restrictions
with Eduard Eiben, Robert Ganian, Dušan Knop
doi:10.24963/ijcai.2018/179
Details PDF

IJCAI 2017

A SAT Approach to Branchwidth
with Neha Lodha, Stefan Szeider
doi:10.24963/ijcai.2017/689
Details PDF
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
with Pavel Dvořák, Eduard Eiben, Robert Ganian, Dušan Knop
doi:10.24963/ijcai.2017/85
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards