%0 Journal Article
%T 二元可满足性问题有解的充要条件
%A 吴向军？
%A 余丰人？
%J 软件学报
%P 51-58
%D 1996
%X 二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对二元可满足性的研究为研究其它问题提供一点启示．
%K 二元组
%K 解的相容性
%K 布尔表达式的恒等变换
%K 子句集
%K 极大式
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960109&flag=1