可满足性(SAT) 问题是人工智能的基础问题, 也是NP 难问题, 在机器学习, 模式识别和自然语言
处理等领域有着实际应用. 然而, 随着人工智能发展, 越来越多的问题呈现出更为复杂的形态 …