Anfonwch hwn fel neges destun: GuaranteeNash for Boolean games is NEXP−hard