Japanese 充足可能性モジュロ理論 Cited by user Yudukikun5120 on 13 Aug 2026 計算機科学および数理論理学における充足可能性モジュロ理論（じゅうそくかのうせいモジュロりろん、、SMT）とは、ある数学的な論理式が充足可能であるかどうかを判定する問題である.
English Satisfiability modulo theories Cited by user Siddharthist on 04 Dec 2023 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.