PanLinx
普通话
cmn-000
满意性问题
English
eng-000
satisfiability problem
PanLex