 |
| |||
| решатель задач выполнимости формул в теориях (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk) | |||
| утилита автоматического доказательства теорем (Alex_Odeychuk) | |||
| решатель задач выполнимости формул с учётом лежащих в их основе теорий (IBM Alex_Odeychuk); решатель задач выполнимости формул в комбинации теорий (Alex_Odeychuk) | |||
| SMT solver: 5 phrases in 1 subject |
| Artificial intelligence | 5 |