Some decision problems of enormous complexity | IEEE Conference Publication | IEEE Xplore