Бесцельно прожитые годы :)

[abreslav]

На МатМехе (и не только) пять и более лет изучают частные эвристики, применяемые для поиска доказательств в логике предикатов первого порядка (и больше практически ничего)...