задача выполнимости булевых формул | |
AI. | boolean satisfiability problem; SAT; propositional satisfiability problem |
в конъюнктивной нормальной форме | |
logic | in conjunctive normal form; using CNF |
| |||
boolean satisfiability problem (Alex_Odeychuk); SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk); propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
задача выполнимости булевых формул: 6 phrases in 1 subject |
Artificial intelligence | 6 |