可满足性模数理论-一流百科

可满足性模数理论

可满足性模数理论在计算机科学和数理逻辑中，可满足性模数理论（SMT）是确定一个数学公式是否可满足的问题。它将布尔可满足性问题（SAT）概括为涉及实数、整...

词条百科