PanLinx
English
eng-000
anytime algorithm
русский
rus-000
алгоритм с отсечением по времени
PanLex