Я изучаю проблемы EXPTIME-hard / complete, но я не смог найти исчерпывающий список таких проблем.Кто-нибудь может дать некоторые ссылки на такие списки проблем EXPTIME-hard / complete?