 |
| |||
| boolean satisfiability problem (Alex_Odeychuk); SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk); propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) | |||
| задача выполнимости булевых формул: 6 短语, 1 学科 |
| 人工智能 | 6 |