二元可满足性相关硕士博士期刊学术论文

二元可满足性问题是一个多项式可解的问题。本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法。如果......