Structural and game-based analysis of evaluation and satisfiability problems
Sponsors
info
|
Duration |
1st April 2005 to 31st March 2010 |
|
People |
|
|
Themes |