TU Berlin

Research Group Algorithmics and Computational ComplexityTalk 09.05.2012

isti-logo

Page Content

to Navigation

Implementing Courcelle's Theorem

Peter Rossmanith (Prof. RWTH Aachen)

A direct implementation of Courcelle's Theorem poses many practical problems. Some of them can be avoided when using a game-theoretic instead of an automata based approach, which Courcelle's original proof uses. A demonstration of the resulting implementation shows that several non-trivial problems can be solved by this approach if the tree-width is not too large.

 

Date
Speaker
Location
Language
09.05.2012 11:00
Peter Rossmanith
FR 6510
german/english

Back to the research colloquium site.

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe