关于约束满足领域的综合性书籍,这是人工智能中许多应用程序的核心。 涵盖了该主题的理论和实施方面。