PanLinx
русский
rus-000
вентильная линеаризация
English
eng-000
gate-based linearization
PanLex
