短語詞組短語2 sat abduction problem sat 誘導問題sat abduction problem sat 誘導問題SAT sub problem SAT 子問題2 -SAT sub problem SAT子問題3 -SAT problem SAT問題SAT The Satisfiability Problem 可滿足性問題-sat problem sat 問題boolean satisfiability problem sat 可滿足問題 返回 sat problem