EunJung Kim
A parameterized algorithm for tree-cut width.
Monday, July 28, 2014 at 12:00
Jeff Z. Pan
Approximate Reasoning for Description Logics based Ontologies
Monday, July 14, 2014 at 15:00
Sebastian Ordyniak
A more general approach for Backdoor Sets into SAT and CSP
Anthony Widjaja Lin
A linear-time algorithm for the orbit problem over cyclic groups