Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Esperanto
French
German
Italian
Ukrainian
Terms
for subject
Artificial intelligence
containing
булева
|
all forms
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
)
преобразование в
булевые
формулы
converting into a boolean-logic form
(
Alex_Odeychuk
)
решатель задач выполнимости
булевых
формул
SAT solver
(
Alex_Odeychuk
)
функция, возвращающая
булево
значение
predicate
(
Alex_Odeychuk
)
Get short URL