Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
French
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
)
преобразование в
булевые формулы
converting into a boolean-logic form
(
Alex_Odeychuk
)
решатель задач выполнимости
булевых формул
SAT solver
(
Alex_Odeychuk
)
Get short URL