@进料{JKS-BNP16，title={{使用QCIR}}求解非CNF QBF，author={Jordan、Charles和Klieber、Will和Seidl、Martina}，booktitle={超越NP的AAAI-16研讨会会议记录}，年份={2016年}}