Skip to main content

Structural and game-based analysis of evaluation and satisfiability problems

1st April 2005 to 31st March 2010

Principal Investigator

Stephan Kreutzer

Share this: