Stefan Rümmele

31 papers A* 8A 1B 7C 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Turbocharging Treewidth Heuristics.
Algorithmica
Serge Gaspers, Joachim Gudmundsson, Mitchell Jones, Julián Mestre, Stefan Rümmele
2018 J jnl
An extension-based approach to belief revision in abstract argumentation.
Int. J. Approx. Reason.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2018 A* conf
Minesweeper with Limited Moves.
AAAI
Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran
2018 B conf
When is Red-Blue Nonblocker Fixed-Parameter Tractable?
LATIN
Serge Gaspers, Joachim Gudmundsson, Michael Horton, Stefan Rümmele
2017 B conf
Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements.
ISAAC
Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Stefan Rümmele
2017 J jnl
Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements.
CoRR
Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Stefan Rümmele
2017 J jnl
Merging in the Horn Fragment.
ACM Trans. Comput. Log.
Adrian Haret, Stefan Rümmele, Stefan Woltran
2017 A* conf
The Parameterized Complexity of Positional Games.
ICALP
Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine
2017 J jnl
The Parameterized Complexity of Positional Games.
CoRR
Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine
2016 J jnl
Belief Merging within Fragments of Propositional Logic.
ACM Trans. Comput. Log.
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2016 B conf
Turbocharging Treewidth Heuristics.
IPEC
Serge Gaspers, Joachim Gudmundsson, Mitchell Jones, Julián Mestre, Stefan Rümmele
2015 A* conf
An Extension-Based Approach to Belief Revision in Abstract Argumentation.
IJCAI
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2015 A* conf
Merging in the Horn Fragment.
IJCAI
Adrian Haret, Stefan Rümmele, Stefan Woltran
2015 A* conf
On the Parameterized Complexity of Belief Revision.
IJCAI
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
2014 A conf
Belief merging within fragments of propositional logic.
ECAI
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 J jnl
Belief merging within fragments of propositional logic.
CoRR
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 — conf
Benchmarking Database Systems for Graph Pattern Matching.
DEXA (1)
Nataliia Pobiedina, Stefan Rümmele, Sebastian Skritek, Hannes Werthner
2014 J jnl
Tractable answer-set programming with weight constraints: bounded treewidth is not enough.
Theory Pract. Log. Program.
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2013 J jnl
Backdoors to Abduction
CoRR
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
2013 A* conf
Backdoors to Abduction.
IJCAI
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
2012 — conf
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.
LION
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 C conf
Multicut on Graphs of Bounded Clique-Width.
COCOA
Martin Lackner, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 A* conf
The Parameterized Complexity of Abduction.
AAAI
Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele
2012 J jnl
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
CoRR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2011 B conf
A New Tree-Decomposition Based Algorithm for Answer Set Programming.
ICTAI
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 B conf
A Dynamic-Programming Based ASP-Solver.
JELIA
Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 — conf
Counting and Enumeration Problems with Bounded Treewidth.
LPAR (Dakar)
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 C conf
Multicut Algorithms via Tree Decompositions.
CIAC
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 A* conf
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.
KR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2009 B conf
Belief Revision with Bounded Treewidth.
LPNMR
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2008 B conf
Fast Counting with Bounded Treewidth.
LPAR
Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran