Văn bản này: GuaranteeNash for Boolean games is NEXP−hard