BriefGPT.xyz
Ask
alpha
关键词
picat language
搜索结果 - 1
MM
使用表格逻辑编程解决 Petrobras 规划问题
本研究介绍了在 Picat 语言中开发的计划程序,利用 Prolog 和 tabling 的核心建模和求解功能,以优化 Petrobras 方案的运输计划,通过使用 tabling 技术,我们可以实现更好的运行时效率和更好的计划质量。
PDF
10 years ago
Prev
Next