| |||
satisfiability modulo theories (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) |
выполнимость формул в теориях: 29 phrases in 2 subjects |
Artificial intelligence | 27 |
Programming | 2 |