PanLinx
русский
rus-000
схема отбрасывания ограничений
English
eng-000
constraint dropping scheme
PanLex