Talks

(subscribe: list, rss feed, calendar feed)
Sep
30

M. S. Ramanujan

Solving d-SAT via backdoors to small treewidth

Sep
30

Ringo Baumann

Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation

Jul
28

EunJung Kim

A parameterized algorithm for tree-cut width.
Monday, July 28, 2014 at 12:00

Jul
14

Jeff Z. Pan

Approximate Reasoning for Description Logics based Ontologies
Monday, July 14, 2014 at 15:00

Jul
10

Sebastian Ordyniak

A more general approach for Backdoor Sets into SAT and CSP

Jul
8

Anthony Widjaja Lin

A linear-time algorithm for the orbit problem over cyclic groups

News