Structural and game-based analysis of evaluation and satisfiability problems

info

duration	1st April 2005 to 31st March 2010
themes	Theory