SAT&SMT

前言 本文性質：我的學習筆記 SAT(SATISFIABILITY/布爾可知足性問題)，SMT(Satisfiability Modulo Theories/可知足性模理論) 根據哥德爾不完備定理/停機問題/萊斯定理，咱們能夠知道在有限時間內是沒法獲得精確的分析結果。咱們能夠嘗試使用抽象和搜索來獲得近似或者精確的結果。這其中的關鍵技術就是約束求解。git 約束求解 給定一組約束，求：github

>>阅读原文<<