%0 Journal Article
%T QBF求解算法研究综述
%A 陈石坤
%A 李舟军
%J -
%D 2011
%X 近10年来，布尔可满足性(SAT)求解技术飞速发展，并已经成..
%K [SAT
%K QBF
%K 求解算法
%K 模型检验
%K 形式化验证
%K SAT
%K QBF
%K evaluation algorithms
%K model checking
%K formal verification]
%U http://crad.ict.ac.cn/CN/Y2011/V48/I5/811