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