PanLinx
русский
rus-000
прохождение ограничивающих условий
English
eng-000
constraint propagation
PanLex