NEEXP is Contained in MIP.

Anand Natarajan, John Wright

Browse the full FOCS paper archive.