Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Artificial intelligence containing форма задач | all forms
RussianEnglish
задача выполнимости булевых формул в конъюнктивной нормальной формеSATCNF (Alex_Odeychuk)
задача выполнимости булевых формул в k-конъюнктивной нормальной формеk-SAT (Alex_Odeychuk)
задача выполнимости булевых формул в 2-конъюнктивной нормальной форме2-SAT (Alex_Odeychuk)

Get short URL