Picture for Sebastian Ordyniak

Sebastian Ordyniak

Explaining Decisions in ML Models: a Parameterized Complexity Analysis

Add code
Jul 22, 2024
Viaarxiv icon

Solving Quantified Boolean Formulas with Few Existential Variables

Add code
May 10, 2024
Viaarxiv icon

The Computational Complexity of Concise Hypersphere Classification

Add code
Dec 12, 2023
Viaarxiv icon

The Complexity of Envy-Free Graph Cutting

Add code
Dec 12, 2023
Viaarxiv icon

Computational Short Cuts in Infinite Domain Constraint Satisfaction

Add code
Nov 18, 2022
Figure 1 for Computational Short Cuts in Infinite Domain Constraint Satisfaction
Figure 2 for Computational Short Cuts in Infinite Domain Constraint Satisfaction
Viaarxiv icon

Solving Infinite-Domain CSPs Using the Patchwork Property

Add code
Jul 03, 2021
Figure 1 for Solving Infinite-Domain CSPs Using the Patchwork Property
Figure 2 for Solving Infinite-Domain CSPs Using the Patchwork Property
Figure 3 for Solving Infinite-Domain CSPs Using the Patchwork Property
Figure 4 for Solving Infinite-Domain CSPs Using the Patchwork Property
Viaarxiv icon

Clique-Width and Directed Width Measures for Answer-Set Programming

Add code
Dec 30, 2016
Figure 1 for Clique-Width and Directed Width Measures for Answer-Set Programming
Figure 2 for Clique-Width and Directed Width Measures for Answer-Set Programming
Figure 3 for Clique-Width and Directed Width Measures for Answer-Set Programming
Viaarxiv icon

Backdoors into Heterogeneous Classes of SAT and CSP

Add code
Oct 25, 2016
Figure 1 for Backdoors into Heterogeneous Classes of SAT and CSP
Viaarxiv icon

The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation

Add code
Feb 25, 2014
Figure 1 for The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation
Viaarxiv icon

Parameterized Complexity Results for Exact Bayesian Network Structure Learning

Add code
Feb 04, 2014
Figure 1 for Parameterized Complexity Results for Exact Bayesian Network Structure Learning
Figure 2 for Parameterized Complexity Results for Exact Bayesian Network Structure Learning
Figure 3 for Parameterized Complexity Results for Exact Bayesian Network Structure Learning
Figure 4 for Parameterized Complexity Results for Exact Bayesian Network Structure Learning
Viaarxiv icon