Seguir
Sebastian Ordyniak
Sebastian Ordyniak
University of Leeds
Dirección de correo verificada de sheffield.ac.uk
Título
Citado por
Citado por
Año
Parameterized algorithms for modular-width
J Gajarský, M Lampis, S Ordyniak
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013 …, 2013
1162013
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
772017
Augmenting tractable fragments of abstract argumentation
W Dvořák, S Ordyniak, S Szeider
Artificial Intelligence 186, 157-173, 2012
632012
Digraph decompositions and monotonicity in digraph searching
S Kreutzer, S Ordyniak
Theoretical Computer Science 412 (35), 4688-4703, 2011
622011
The complexity landscape of decompositional parameters for ILP
R Ganian, S Ordyniak
Artificial Intelligence 257, 61-71, 2018
612018
Satisfiability of acyclic and almost acyclic CNF formulas
S Ordyniak, D Paulusma, S Szeider
Theoretical Computer Science 481, 85-99, 2013
602013
On structural parameterizations of the bounded-degree vertex deletion problem
R Ganian, F Klute, S Ordyniak
Algorithmica 83, 297-336, 2021
542021
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
532015
Parameterized complexity results for exact Bayesian network structure learning
S Ordyniak, S Szeider
Journal of Artificial Intelligence Research 46, 263-302, 2013
472013
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
412017
Going beyond primal treewidth for (M) ILP
R Ganian, S Ordyniak, M Ramanujan
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
362017
Parameterized algorithms for the matrix completion problem
R Ganian, I Kanj, S Ordyniak, S Szeider
International Conference on Machine Learning, 1656-1665, 2018
322018
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
322017
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
302019
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
292012
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
282012
Towards a polynomial kernel for directed feedback vertex set
B Bergougnoux, E Eiben, R Ganian, S Ordyniak, MS Ramanujan
Algorithmica 83, 1201-1221, 2021
262021
The power of cut-based parameters for computing edge-disjoint paths
R Ganian, S Ordyniak
Algorithmica 83 (2), 726-752, 2021
242021
SAT-encodings for special treewidth and pathwidth
N Lodha, S Ordyniak, S Szeider
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
242017
A SAT approach to branchwidth
N Lodha, S Ordyniak, S Szeider
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
242016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20