.png){kind=icon}
返回
Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem
.png){kind=icon}
OA
AI
DOI：10.1016/j.cor.2025.107308.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文使用可满足性问题（SAT）求解器来解决资源受限项目调度问题（RCPSP）。在此基础上，本文进一步构建了针对这一著名项目调度问题的多种现有SAT模型，并采用两种方法扩展它们以满足资源约束。具体而言，我们使用了广为人知的极小禁止集，并将其与在SAT实现中传统使用的所谓覆盖进行比较。此外，我们还实施了一种现有的二进制决策树方法，并在多种设置下进行，同时扩展了模型，加入了此前从未用于解决RCPSP的带加法器的网络，以确保资源约束得到满足。
Keyword:
Project scheduling
Resource constraints
Satisfiability problem
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
4.3
论文数:
6.5K
被引数:
1.8W
机构
引用论文
.png){kind=icon}
The Electromagnetism Meta-heuristic Applied to the Resource-Constrained Project Scheduling Problem
PREAI
分享收藏A Decomposition-Based Genetic Algorithm for the Resource-Constrained Project-Scheduling Problem
PREAI
分享收藏A scatter search heuristic for maximising the net present value of a resource-constrained project with fixed activity cash flows一种分散搜索启发式方法，用于最大化具有固定活动现金流的资源受限项目的净现值
OAAI
OAAI分享收藏
查看更多内容