DictionaryForumContacts

   English
Google | Forvo | +
k-SATstresses
AI. задача выполнимости булевых формул в k-конъюнктивной нормальной форме (Alex_Odeychuk)