We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybrid approach that extends ASP with difference constraints to account for a fine-grained timing. More precisely, we exemplarily show how the hybrid ASP system clingo[DL] can be used to tackle demanding planning and scheduling problems. In particular, we investigate how to boost performance by combining distinct ASP solving techniques, such as approximations and heuristics, with preprocessing and encoding techniques for tackling large-scale, real-world train-scheduling instances.

中文翻译：

---

使用混合答案集编程进行训练调度

我们提出了一种基于答案集编程 (ASP) 的现实世界列车调度问题的解决方案，包括路由、调度和优化。为此，我们采用一种混合方法来扩展具有差异约束的 ASP，以解决细粒度的时序问题。更准确地说，我们示例性地展示了混合 ASP 系统如何顽固派[DL] 可用于解决要求苛刻的计划和调度问题。特别是，我们研究了如何通过将不同的 ASP 求解技术（例如近似和启发式）与处理大规模真实世界列车调度实例的预处理和编码技术相结合来提高性能。