- 博客(1)
- 资源 (2)
- 收藏
- 关注
原创 SAT&SMT
前言本文性质:个人学习笔记SAT(SATISFIABILITY/布尔可满足性问题),SMT(Satisfiability Modulo Theories/可满足性模理论)根据哥德尔不完备定理/停机问题/莱斯定理,我们可以知道在有限时间内是无法得到精确的分析结果。我们可以尝试使用抽象和搜索来得到近似或者精确的结果。这其中的关键技术就是约束求解。约束求解给定一组约束,求:这组约束是否可满足(可选)如果可满足,给出一组赋值(可选)如果不可满足,给出一个较小的矛盾集总的来说是不可判定的问题,但
2020-07-17 16:34:45 2267
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人