 |
propositional satisfiability
| problem
| propositional satisfiability | |
| AI. | пропозициональная выполнимость; выполнимость булевых формул |
| problem | |
| gen. | проблема; вопрос; трудный случай; сложная ситуация; дело; беда |
| context. | проблемы |
| |||
| пропозициональная выполнимость (Microsoft Alex_Odeychuk); выполнимость булевых формул (boolean satisfiability Alex_Odeychuk) | |||
|
propositional satisfiability : 3 phrases in 1 subject |
| Artificial intelligence | 3 |