この資料をSMS送信: GuaranteeNash for Boolean games is NEXP−hard