Complexity of mixed equilibria in Boolean games - Egor Ianovski (2017)