boolean satisfiability
| problem
| boolean satisfiability abbr. | |
| AI. | выполнимость булевых формул |
| problem abbr. | |
| gen. | проблема; вопрос; трудный случай; сложная ситуация; дело; беда |
| context. | проблемы |
| |||
| выполнимость булевых формул (Alex_Odeychuk) | |||
| логическая выполнимость (ssn) | |||
|
boolean satisfiability : 3 phrases in 2 subjects |
| Artificial intelligence | 1 |
| Programming | 2 |