bn:03300717n
Noun Named Entity
JA
No term available
EN
In computer science and mathematical logic, satisfiability modulo theories is the problem of determining whether a mathematical formula is satisfiable. Wikipedia
Relations
Sources