PanLinx
русский
rus-000
поиск методом ветвей и границ
English
eng-000
branch-and-bound search
PanLex