模块可满足相关硕士博士期刊学术论文

布尔可满足性(简称SAT)问题已被广泛运用于程序复杂度分析、程序验证和人工智能等各个方面以解决相关实际问题。模块可满足性理论(......