参考資料まとめ
SMT ソルバ全般
SAT, SMT について主要なアルゴリズムや technique をまとめてある
Theory Combination についていろいろ書いてあって助かる。例えば Convexity について(スライド 44)
サーベイ論文たすかる
サーベイ論文たすかる2
SMT-LIBv2(SMT ソルバの入力の形式)
p20. SMT-LIBv2 の token が表になって並んでおり、どのような正規表現でマッチさせられるか掲載している
SMT ソルバに与える入力の形式 SMT-LIB v2 についてまとまっている Web サイト
EUF
QF_UF のベンチマーク用入力が大量に用意されている