Satisfiability Modulo Theories
method
ID: satisfiabilitymodulotheories
Entity Details
Basic Information
Entity ID
satisfiabilitymodulotheories
Entity Type
Method
English Label
Satisfiability Modulo Theories
Russian Label
Удовлетворимость модуля теорий
Kazakh Label
Теориялар модулі бойынша қанағаттандыру
Frequency
1
Description
English Description
A method for determining the satisfiability of logical formulas with respect to certain theories.
Russian Description
-
Kazakh Description
-