Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing решатель задач выполнимости булевых формул | all forms | in specified order only
SubjectRussianEnglish
AI.компилятор на основе решателя задач выполнимости булевых формулSAT compiler (Alex_Odeychuk)
AI.решатель задач выполнимости булевых формулSAT solver (Alex_Odeychuk)

Get short URL