Удовлетворимость модуля теорий
method
ID: satisfiabilitymodulotheories
Детали сущности
Основная информация
ID сущности
satisfiabilitymodulotheories
Тип сущности
Method
Английская метка
Satisfiability Modulo Theories
Русская метка
Удовлетворимость модуля теорий
Казахская метка
Теориялар модулі бойынша қанағаттандыру
Частота
1
Описание
Английское описание
A method for determining the satisfiability of logical formulas with respect to certain theories.
Русское описание
-
Казахское описание
-