%0 Journal Article
%T 命题逻辑可满足性问题的算法分析
%A 李未 黄雄？
%J 计算机科学
%D 1999
%K 命题逻辑可满足性问题算法分析计算机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3476877&flag=1