查尔斯·乔丹（Charles Jordan）等人：使用QCIR解决非CNF QBF问题。(2016) conf/aaai/Jordan KS16 使用QCIR求解非CNF QBF。 三 查尔斯·乔丹 1 威尔·克利伯 2 马蒂娜·塞德尔 三 AAAI研讨会：超越NP AAAI研讨会：超越NP 2016 2016 dblp记录“conf/aaai/JordanKS16”的RDF数据的来源信息 2023-09-05T16:57:15+0200