搜索求解器相关硕士博士期刊学术论文

约束推理是人工智能中主要组成部分之一，可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和......