GuaranteeNash for Boolean games is NEXP−hard - Ianovski, E; Ong, L (2014)