DictionnaireLe forumContacts

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