Stefan Rümmele

Available identifiers

zbMath Open rummele.stefanMaRDI QIDQ1725635

List of research outcomes

Publication	Date of Publication	Type
Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements	2020-11-25	Paper
The Parameterized Complexity of Positional Games	2020-05-27	Paper
When is red-blue nonblocker fixed-parameter tractable?	2020-02-12	Paper
An extension-based approach to belief revision in abstract argumentation	2019-02-20	Paper
Turbocharging treewidth heuristics	2019-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4634396	2018-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q5282977	2017-07-18	Paper
Merging in the Horn Fragment	2017-07-13	Paper
Belief Merging within Fragments of Propositional Logic	2017-07-12	Paper
Tractable answer-set programming with weight constraints: bounded treewidth is not enough	2014-04-17	Paper
Multicut on Graphs of Bounded Clique-Width	2012-11-02	Paper
Counting and Enumeration Problems with Bounded Treewidth	2011-01-07	Paper
A Dynamic-Programming Based ASP-Solver	2010-10-01	Paper
Multicut Algorithms via Tree Decompositions	2010-05-28	Paper
Belief Revision with Bounded Treewidth	2009-11-10	Paper
Fast Counting with Bounded Treewidth	2009-01-27	Paper

Research outcomes over time

This page was built for person: Stefan Rümmele