[计] satisfiability problem, satistiability problem

kě mǎn zú xìng wèn tí ㄎㄜˇ ㄇㄢˇ ㄗㄨˊ ㄒㄧㄥˋ ㄨㄣˋ ㄊㄧˊ