![]() |
задача выполнимости | |
AI. | SAT |
в теории | |
gen. | in theory; in the abstract; on paper; in concept; conceivably; theoretically |
| |||
SAT (булевых формул Alex_Odeychuk) | |||
satisfiability problem |
задача выполнимости: 42 phrases in 3 subjects |
Artificial intelligence | 36 |
Mathematics | 3 |
Programming | 3 |