Выпуск 2012а, ФТШ

il y a 11 ans 339 Vues

Automated NP-completeness proof for 2D problems

il y a 15 ans 305 Vues