The satisfiability problem is a key problem in computer science and artificial intelligence.

• 这是计算机科学和人工智能中的重要问题之一。