论文标题
使用布尔可满足模式模拟的铁路调度
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
论文作者
论文摘要
铁路调度是一个表现出非平凡离散和连续行为的问题。在本文中，我们模拟了较低级别的火车网络，其中可能会出现许多时机和订购约束。我们使用SAT和普通微分方程（SAT Modulo ode）的组合对此问题进行建模。此外，我们适应了我们现有的方法来解决此类问题的方式，使得求解器具有基于专用的铁路模拟器的方法，同时更加通用和可扩展。
Railway scheduling is a problem that exhibits both non-trivial discrete and continuous behavior. In this paper, we simulate train networks at a low level, where a number of timing and ordering constraints can appear. We model this problem using a combination of SAT and ordinary differential equations (SAT modulo ODE). In addition, we adapt our existing method for solving such problems in such a way that the resulting solver is competitive with methods based on dedicated railway simulators while being more general and extensible.
