Clique-width is NP-complete MR Fellows, FA Rosamond, U Rotics, S Szeider SIAM Journal on Discrete Mathematics 23 (2), 909-939, 2009 | 171* | 2009 |
Algorithms for propositional model counting M Samer, S Szeider Journal of Discrete Algorithms 8 (1), 50-64, 2010 | 170 | 2010 |
Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference H Fleischner, O Kullmann, S Szeider Theoretical Computer Science 289 (1), 503-516, 2002 | 143 | 2002 |
Solving MAX-r-SAT Above a Tight Lower Bound N Alon, G Gutin, EJ Kim, S Szeider, A Yeo Algorithmica 61, 638-655, 2011 | 142 | 2011 |
On the complexity of some colorful problems parameterized by treewidth MR Fellows, FV Fomin, D Lokshtanov, F Rosamond, S Saurabh, ... Information and Computation 209 (2), 143-153, 2011 | 134 | 2011 |
On fixed-parameter tractable parameterizations of SAT S Szeider International Conference on Theory and Applications of Satisfiability …, 2003 | 132 | 2003 |
Backdoor sets of quantified Boolean formulas M Samer, S Szeider Journal of Automated Reasoning 42, 77-97, 2009 | 123 | 2009 |
Constraint satisfaction with bounded treewidth revisited M Samer, S Szeider Journal of Computer and System Sciences 76 (2), 103-114, 2010 | 121* | 2010 |
Finding paths in graphs avoiding forbidden transitions S Szeider Discrete Applied Mathematics 126 (2-3), 261-273, 2003 | 117 | 2003 |
Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems G Gottlob, S Szeider The Computer Journal 51 (3), 303-325, 2008 | 114 | 2008 |
Covering graphs with few complete bipartite subgraphs H Fleischner, E Mujuni, D Paulusma, S Szeider Theoretical Computer Science 410 (21-23), 2045-2053, 2009 | 113* | 2009 |
The added value of argumentation S Modgil, F Toni, F Bex, I Bratko, CI Chesnevar, W Dvořák, MA Falappa, ... Agreement technologies, 357-403, 2013 | 112 | 2013 |
Detecting Backdoor Sets with Respect to Horn and Binary Clauses. N Nishimura, P Ragde, S Szeider SAT 4, 96-103, 2004 | 109 | 2004 |
Backdoors to satisfaction S Gaspers, S Szeider The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to …, 2012 | 107 | 2012 |
Clique-width minimization is NP-hard MR Fellows, FA Rosamond, U Rotics, S Szeider Proceedings of the thirty-eighth annual ACM symposium on Theory of computing …, 2006 | 93 | 2006 |
Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable S Szeider Journal of Computer and System Sciences 69 (4), 656-674, 2004 | 84 | 2004 |
Augmenting tractable fragments of abstract argumentation W Dvořák, S Ordyniak, S Szeider Artificial Intelligence 186, 157-173, 2012 | 73* | 2012 |
Fixed-parameter tractability M Samer, S Szeider Handbook of Satisfiability, 693-736, 2021 | 64 | 2021 |
Satisfiability of acyclic and almost acyclic CNF formulas S Ordyniak, D Paulusma, S Szeider Theoretical Computer Science 481, 85-99, 2013 | 63 | 2013 |
Editing graphs to satisfy degree constraints: A parameterized approach L Mathieson, S Szeider Journal of Computer and System Sciences 78 (1), 179-191, 2012 | 63 | 2012 |