Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Dutch
Esperanto
German
Polish
Russian
Serbian Latin
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
formulas
|
all forms
|
exact matches only
English
Russian
backtracking-based search algorithm for deciding the satisfiability of propositional logic
formulae
in conjunctive normal form
алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме
(
Alex_Odeychuk
)
check satisfiability of logical
formulas
проверить выполнимость логических формул
(
Alex_Odeychuk
)
check satisfiability of logical
formulas
определить выполнимость логических формул
(
Alex_Odeychuk
)
satisfiability of logical
formulas
выполнимость логических формул
(Microsoft
Alex_Odeychuk
)
satisfiability of logical
formulas
over one or more theories
выполнимость логических формул в одной и более теориях
(
Alex_Odeychuk
)
satisfiability of logical
formulas
with quantifiers
выполнимость логических формул, содержащих кванторы
(Microsoft
Alex_Odeychuk
)
Get short URL