A parameterized algorithm for tree-cut width.
Monday, July 28, 2014 at 12:00
Approximate Reasoning for Description Logics based Ontologies
Monday, July 14, 2014 at 15:00
A more general approach for Backdoor Sets into SAT and CSP
A linear-time algorithm for the orbit problem over cyclic groups
Algorithms and Elections; June 12, 2014
An input/output characterization of abstract argumentation frameworks and semantics – June 4, 10:00