Follow
Sebastian Ordyniak
Sebastian Ordyniak
University of Leeds
Verified email at sheffield.ac.uk
Title
Cited by
Cited by
Year
Parameterized algorithms for modular-width
J Gajarský, M Lampis, S Ordyniak
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013 …, 2013
1002013
Kernelization using structural parameters on sparse graph classes
J Gajarský, P Hliněný, J Obdržálek, S Ordyniak, F Reidl, P Rossmanith, ...
Journal of Computer and System Sciences 84, 219-242, 2017
732017
Augmenting tractable fragments of abstract argumentation
W Dvořák, S Ordyniak, S Szeider
Artificial Intelligence 186, 157-173, 2012
642012
Satisfiability of acyclic and almost acyclic CNF formulas
S Ordyniak, D Paulusma, S Szeider
Theoretical Computer Science 481, 85-99, 2013
602013
Digraph decompositions and monotonicity in digraph searching
S Kreutzer, S Ordyniak
Theoretical Computer Science 412 (35), 4688-4703, 2011
602011
The complexity landscape of decompositional parameters for ILP
R Ganian, S Ordyniak
Artificial Intelligence 257, 61-71, 2018
552018
On structural parameterizations of the bounded-degree vertex deletion problem
R Ganian, F Klute, S Ordyniak
Algorithmica 83, 297-336, 2021
532021
FO model checking on posets of bounded width
J Gajarský, P Hlinený, D Lokshtanov, J Obdralek, S Ordyniak, ...
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 963-974, 2015
472015
Parameterized complexity results for exact Bayesian network structure learning
S Ordyniak, S Szeider
Journal of Artificial Intelligence Research 46, 263-302, 2013
392013
Backdoors into heterogeneous classes of SAT and CSP
S Gaspers, N Misra, S Ordyniak, S Szeider, S Živný
Journal of Computer and System Sciences 85, 38-56, 2017
372017
Going beyond primal treewidth for (M) ILP
R Ganian, S Ordyniak, M Ramanujan
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
332017
Solving integer linear programs with a small number of global variables and constraints
P Dvořák, E Eiben, R Ganian, D Knop, S Ordyniak
arXiv preprint arXiv:1706.06084, 2017
282017
Parameterized algorithms for the matrix completion problem
R Ganian, I Kanj, S Ordyniak, S Szeider
International Conference on Machine Learning, 1656-1665, 2018
272018
Don't be strict in local search!
S Gaspers, EJ Kim, S Ordyniak, S Saurabh, S Szeider
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 486-492, 2012
272012
SAT-encodings for treecut width and treedepth
R Ganian, N Lodha, S Ordyniak, S Szeider
2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and …, 2019
262019
The complexity of planning revisited—a parameterized analysis
C Bäckström, Y Chen, P Jonsson, S Ordyniak, S Szeider
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 1735-1741, 2012
262012
Algorithms and complexity results for persuasive argumentation
EJ Kim, S Ordyniak, S Szeider
Artificial Intelligence 175 (9-10), 1722-1736, 2011
252011
Towards a polynomial kernel for directed feedback vertex set
B Bergougnoux, E Eiben, R Ganian, S Ordyniak, MS Ramanujan
Algorithmica 83, 1201-1221, 2021
232021
SAT-encodings for special treewidth and pathwidth
N Lodha, S Ordyniak, S Szeider
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
202017
Backdoors to planning
M Kronegger, S Ordyniak, A Pfandler
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
20*2014
The system can't perform the operation now. Try again later.
Articles 1–20