 |
Terms for subject Artificial intelligence containing выполнимость булевых формул | all forms | in specified order only
| Russian | English |
| выполнимость булевых формул | propositional satisfiability (boolean satisfiability Alex_Odeychuk) |
| выполнимость булевых формул | boolean satisfiability (Alex_Odeychuk) |
| задача выполнимости булевых формул | propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
| задача выполнимости булевых формул | SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk) |
| задача выполнимости булевых формул | boolean satisfiability problem (Alex_Odeychuk) |
| задача выполнимости булевых формул в конъюнктивной нормальной форме | SATCNF (Alex_Odeychuk) |
| задача выполнимости булевых формул в k-конъюнктивной нормальной форме | k-SAT (Alex_Odeychuk) |
| задача выполнимости булевых формул в 2-конъюнктивной нормальной форме | 2-SAT (Alex_Odeychuk) |
| компилятор на основе решателя задач выполнимости булевых формул | SAT compiler (Alex_Odeychuk) |
| решатель задач выполнимости булевых формул | SAT solver (Alex_Odeychuk) |