布鲁诺·维维亚纳；卢兹·加西亚；塞尔吉奥·诺科；斯特凡诺·奎尔 强调飞机维修优化中的符号调度技术。 （英语） Zbl 1162.90468号 J.满意。布尔模型。计算。 5，编号1-4，83-110（2009）. 摘要：在高级综合、实时系统和日常应用等领域，调度或计划被广泛认为是非常重要的一步。给定一个由多个操作及其关系、查找时间表或计划，意味着找到一种方法来执行所有操作，以最小化特定的成本函数。本文的目标是针对一个新的调度/规划问题开发、分析和比较不同的调度技术。新的应用领域是飞机维护。它与以前的人分享了潜在的问题定义，但它也揭示了全新的挑战性特征，以及不同的优化目标。我们展示了如何以合适的方式建模问题，以及如何使用不同的方法解决问题，从可满足性求解器和二进制决策图到时间自动机和彩色Petri网。在以效率和可扩展性为主要目标的不同领域提出了新思路。实验结果强调了不同的技术，显示其应用范围和限制，并定义基础模型。总的来说，通用工具很容易应用于我们的问题，但就效率而言却失败了。证明了基于可满足性的方法为了更快、更具可扩展性，能够解决3到4倍大的实例。总之，我们的贡献包括将飞机维护问题建模为一个调度实例，用自制和通用工具编码此问题，将精确技术和启发式技术结合起来，并从以下方面比较这些技术效率和可扩展性。 MSC公司： 90B35型 运筹学中的确定性调度理论 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：布尔可满足性；SAT解决方案；时间自动机；Petri网；行程安排；规划 PDF格式BibTeX公司 XML格式引用 \textit{B.Viviana}等人，J.Satisfe。布尔模型。计算。5，编号1--4，83-110（2009；Zbl 1162.90468）