中国科学院数学与系统科学研究院期刊网
Determinacy-A3是Co-NP完全的
杨峰
THE DETERMINACY PROBLEM FOR MODEL A3IS Co-NP-COMPLETE
Yang Feng
应用数学学报 . 1991, (2): 250 -256 .  DOI: 10.12387/C1991035