 |
| |||
| SMT solver (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk); satisfiability modulo theories solver (Alex_Odeychuk) | |||
| решатель задач выполнимости формул в теориях: 14 phrases in 2 subjects |
| Artificial intelligence | 12 |
| Programming | 2 |