 |
| |||
| satisfiability modulo theories (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) | |||
| выполнимость формул в теориях: 28 фраз в 2 тематиках |
| Искусственный интеллект | 26 |
| Программирование | 2 |