约束可满足问题相关论文
约束可满足问题，广泛存在于科学研究和工程实践中。如人力资源配置问题、农作物布局优化问题、工程设计方案优化问题和资源分配优化......
智能规划是人工智能的一个重要研究领域，智能规划的主要思想是根据预定实现的目标，对若干可供选择动作及所提供的资源限制进行推理，得......
