Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Arabic
Bashkir
Bulgarian
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hungarian
Italian
Japanese
Latvian
Norwegian Bokmål
Persian
Polish
Portuguese
Romanian
Serbian Latin
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Artificial intelligence
containing
нормально
|
all forms
Russian
English
алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной
нормальной
форме
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form
(
Alex_Odeychuk
)
задача выполнимости булевых формул в конъюнктивной
нормальной
форме
SATCNF
(
Alex_Odeychuk
)
задача выполнимости булевых формул в k-конъюнктивной
нормальной
форме
k-SAT
(
Alex_Odeychuk
)
задача выполнимости булевых формул в 2-конъюнктивной
нормальной
форме
2-SAT
(
Alex_Odeychuk
)
Get short URL