Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Afrikaans
Arabic
Chinese
Dutch
English
Esperanto
Finnish
French
German
Greek
Hungarian
Irish
Italian
Japanese
Norwegian Bokmål
Polish
Russian
Scottish Gaelic
Serbian Latin
Slovene
Spanish
Swedish
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
deciding
|
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
)
decide
the satisfiability of
определять выполнимость
(чего-либо
Alex_Odeychuk
)
Get short URL