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