DictionaryForumContacts

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