 |
Terms for subject Artificial intelligence containing решатель задач выполнимости булевых формул | all forms | in specified order only
| Russian | English |
| компилятор на основе решателя задач выполнимости булевых формул | SAT compiler (Alex_Odeychuk) |
| решатель задач выполнимости булевых формул | SAT solver (Alex_Odeychuk) |