Jan Obdrz{\'{a}}lek | AC Group | TU Wienhttps://ac.notready.eu/author/jan-obdrz%5Calek/Jan Obdrz{\'{a}}lekHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2017 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngJan Obdrz{\'{a}}lekhttps://ac.notready.eu/author/jan-obdrz%5Calek/Kernelization using structural parameters on sparse graph classeshttps://ac.notready.eu/publication/kernelization-using-structural-parameters-on-sparse-graph-classes-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.notready.eu/publication/kernelization-using-structural-parameters-on-sparse-graph-classes-2/A New Perspective on FO Model Checking of Dense Graph Classeshttps://ac.notready.eu/publication/a-new-perspective-on-fo-model-checking-of-dense-graph-classes/Fri, 01 Jan 2016 00:00:00 +0000https://ac.notready.eu/publication/a-new-perspective-on-fo-model-checking-of-dense-graph-classes/Tree-depth and vertex-minorshttps://ac.notready.eu/publication/tree-depth-and-vertex-minors/Fri, 01 Jan 2016 00:00:00 +0000https://ac.notready.eu/publication/tree-depth-and-vertex-minors/FO Model Checking on Posets of Bounded Widthhttps://ac.notready.eu/publication/fo-model-checking-on-posets-of-bounded-width/Thu, 01 Jan 2015 00:00:00 +0000https://ac.notready.eu/publication/fo-model-checking-on-posets-of-bounded-width/Digraph width measures in parameterized algorithmicshttps://ac.notready.eu/publication/digraph-width-measures-in-parameterized-algorithmics/Wed, 01 Jan 2014 00:00:00 +0000https://ac.notready.eu/publication/digraph-width-measures-in-parameterized-algorithmics/Faster Existential FO Model Checking on Posetshttps://ac.notready.eu/publication/faster-existential-fo-model-checking-on-posets/Wed, 01 Jan 2014 00:00:00 +0000https://ac.notready.eu/publication/faster-existential-fo-model-checking-on-posets/Finite Integer Index of Pathwidth and Treewidthhttps://ac.notready.eu/publication/finite-integer-index-of-pathwidth-and-treewidth/Wed, 01 Jan 2014 00:00:00 +0000https://ac.notready.eu/publication/finite-integer-index-of-pathwidth-and-treewidth/Lower bounds on the complexity of MSO1 model-checkinghttps://ac.notready.eu/publication/lower-bounds-on-the-complexity-of-mso1-model-checking-2/Wed, 01 Jan 2014 00:00:00 +0000https://ac.notready.eu/publication/lower-bounds-on-the-complexity-of-mso1-model-checking-2/A unified approach to polynomial algorithms on graphs of bounded (bi-)rank-widthhttps://ac.notready.eu/publication/a-unified-approach-to-polynomial-algorithms-on-graphs-of-bounded-bi-rank-width/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/a-unified-approach-to-polynomial-algorithms-on-graphs-of-bounded-bi-rank-width/Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-widthhttps://ac.notready.eu/publication/better-algorithms-for-satisfiability-problems-for-formulas-of-bounded-rank-width-2/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/better-algorithms-for-satisfiability-problems-for-formulas-of-bounded-rank-width-2/Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classeshttps://ac.notready.eu/publication/expanding-the-expressive-power-of-monadic-second-order-logic-on-restricted-graph-classes/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/expanding-the-expressive-power-of-monadic-second-order-logic-on-restricted-graph-classes/FO Model Checking of Interval Graphshttps://ac.notready.eu/publication/fo-model-checking-of-interval-graphs/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/fo-model-checking-of-interval-graphs/Kernelization Using Structural Parameters on Sparse Graph Classeshttps://ac.notready.eu/publication/kernelization-using-structural-parameters-on-sparse-graph-classes/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/kernelization-using-structural-parameters-on-sparse-graph-classes/Lower Bounds on the Complexity of MSO1 Model-Checkinghttps://ac.notready.eu/publication/lower-bounds-on-the-complexity-of-mso1-model-checking/Sun, 01 Jan 2012 00:00:00 +0000https://ac.notready.eu/publication/lower-bounds-on-the-complexity-of-mso1-model-checking/When Trees Grow Low: Shrubs and Fast MSO1https://ac.notready.eu/publication/when-trees-grow-low-shrubs-and-fast-mso1/Sun, 01 Jan 2012 00:00:00 +0000https://ac.notready.eu/publication/when-trees-grow-low-shrubs-and-fast-mso1/Clique-width: When Hard Does Not Mean Impossiblehttps://ac.notready.eu/publication/clique-width-when-hard-does-not-mean-impossible/Sat, 01 Jan 2011 00:00:00 +0000https://ac.notready.eu/publication/clique-width-when-hard-does-not-mean-impossible/Are There Any Good Digraph Width Measures?https://ac.notready.eu/publication/are-there-any-good-digraph-width-measures/Fri, 01 Jan 2010 00:00:00 +0000https://ac.notready.eu/publication/are-there-any-good-digraph-width-measures/Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-widthhttps://ac.notready.eu/publication/better-algorithms-for-satisfiability-problems-for-formulas-of-bounded-rank-width/Fri, 01 Jan 2010 00:00:00 +0000https://ac.notready.eu/publication/better-algorithms-for-satisfiability-problems-for-formulas-of-bounded-rank-width/On Digraph Width Measures in Parameterized Algorithmicshttps://ac.notready.eu/publication/on-digraph-width-measures-in-parameterized-algorithmics/Thu, 01 Jan 2009 00:00:00 +0000https://ac.notready.eu/publication/on-digraph-width-measures-in-parameterized-algorithmics/