Stefan Rümmele

Most-cited papers

An Extension-Based Approach to Belief Revision in Abstract Argumentation
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele +1 more
2015International Joint Conference on Artificial Intelligence73 citations Open access
Semantic Scholar
Backdoors to Abduction
A. Pfandler, Stefan Rümmele, Stefan Szeider
2013International Joint Conference on Artificial Intelligence33 citations
Semantic Scholar
Counting and Enumeration Problems with Bounded Treewidth
R. Pichler, Stefan Rümmele, S. Woltran
2010Logic Programming and Automated Reasoning26 citations
Semantic Scholar
The Parameterized Complexity of Positional Games
Édouard Bonnet, Serge Gaspers, A. Lambilliotte, Stefan Rümmele +1 more
2017International Colloquium on Automata, Languages and Programming19 citations
Semantic Scholar
Belief Merging within Fragments of Propositional Logic
N. Creignou, Odile Papini, Stefan Rümmele, S. Woltran
2014European Conference on Artificial Intelligence16 citations Open access
Semantic Scholar
The Parameterized Complexity of Abduction
M. Fellows, A. Pfandler, Frances A. Rosamond, Stefan Rümmele
2012AAAI Conference on Artificial Intelligence16 citations Open access
Semantic Scholar
Merging in the Horn Fragment
Adrian Haret, Stefan Rümmele, S. Woltran
2015International Joint Conference on Artificial Intelligence14 citations Open access
Semantic Scholar
Fast Counting with Bounded Treewidth
M. Jakl, R. Pichler, Stefan Rümmele, S. Woltran
2008Logic Programming and Automated Reasoning14 citations
Semantic Scholar
Turbocharging Treewidth Heuristics
Serge Gaspers, Joachim Gudmundsson, Mitchell Jones, Julián Mestre +1 more
2018Algorithmica13 citations Open access
Semantic Scholar
Benchmarking Database Systems for Graph Pattern Matching
Nataliia Pobiedina, Stefan Rümmele, Sebastian Skritek, H. Werthner
2014International Conference on Database and Expert Systems Applications11 citations
Semantic Scholar
A Dynamic-Programming Based ASP-Solver
M. Morak, R. Pichler, Stefan Rümmele, S. Woltran
2010European Conference on Logics in Artificial Intelligence11 citations
Semantic Scholar
Multicut Algorithms via Tree Decompositions
R. Pichler, Stefan Rümmele, S. Woltran
2010International/Italian Conference on Algorithms and Complexity10 citations Open access
Semantic Scholar
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming
M. Morak, N. Musliu, R. Pichler, Stefan Rümmele +1 more
2012Learning and Intelligent Optimization8 citations Open access
Semantic Scholar
Belief Revision with Bounded Treewidth
R. Pichler, Stefan Rümmele, S. Woltran
2009International Conference on Logic Programming and Non-Monotonic Reasoning8 citations
Semantic Scholar
Multicut on Graphs of Bounded Clique-Width
M. Lackner, R. Pichler, Stefan Rümmele, S. Woltran
2012International Conference on Combinatorial Optimization and Applications7 citations
Semantic Scholar
On the Parameterized Complexity of Belief Revision
A. Pfandler, Stefan Rümmele, J. Wallner, S. Woltran
2015International Joint Conference on Artificial Intelligence6 citations
Semantic Scholar
A New Tree-Decomposition Based Algorithm for Answer Set Programming
M. Morak, N. Musliu, R. Pichler, Stefan Rümmele +1 more
2011IEEE International Conference on Tools with Artificial Intelligence5 citations
Semantic Scholar
Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements
Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Stefan Rümmele
2017International Symposium on Algorithms and Computation4 citations
Semantic Scholar
Minesweeper with Limited Moves
Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, K. Tran
2018AAAI Conference on Artificial Intelligence0 citations Open access
Semantic Scholar
When is Red-Blue Nonblocker Fixed-Parameter Tractable?
Serge Gaspers, Joachim Gudmundsson, M. Horton, Stefan Rümmele
2018Latin American Symposium on Theoretical Informatics0 citations
Semantic Scholar
Merging in the Horn Fragment DBAI-TR-2015-91
Adrian Haret, Stefan Rümmele, S. Woltran
20150 citations
Semantic Scholar