| |||
SMT (сокр. от "satisfiability modulo theories"; задача выполнимости в теориях – это задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми в информатике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
задача выполнимости в теориях: 28 phrases in 2 subjects |
Artificial intelligence | 26 |
Programming | 2 |