Structural and game-based analysis of evaluation and satisfiability problems

duration	1st April 2005 to 31st March 2010
themes	Foundations, Logic and Structures