DictionnaireLe forumContacts

   Anglais Russe
Google | Forvo | +
2-SATcontraintes
intell. задача выполнимости булевых формул в 2-конъюнктивной нормальной форме (Alex_Odeychuk)