可满足性论文

命题逻辑中的冗余子句和冗余文字问题研究
论文摘要逻辑公式的可满足性问题在工程技术、交通运输、军事及自然科学等领域有着广泛的应用。随着计算机求解问题容量的逐渐增大、求解的问题愈加复杂,命题逻辑中逻辑公式的冗余越来越多,...