Talk on 8/6/15, 13h30:
Beating Exhaustive Search in Boolean Games and Implications for Complexity Theory