 |
backtracking- based search algorithm
| for
| deciding the satisfiability of
| propositional logic
| formulae
- only individual words found| backtracking-based search algorithm | |
| AI. | алгоритм поиска с возвратом |
| for | |
| gen. | ибо; для; от; на расстояние; вместо; ради |
| decide the satisfiability of | |
| AI. | определять выполнимость |
| propositional logic | |
| comp. | пропозициональная логика |
| formula | |
| gen. | формула |
| |||
| алгоритм поиска с возвратом (for deciding ... – для решения ... Alex_Odeychuk) | |||
| backtracking- based search algorithm for deciding the satisfiability of propositional logic formulae: 1 phrase in 1 subject |
| Artificial intelligence | 1 |