TY  - RPRT
TI  - An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings
AU  - Tuyen Van Kieu
AU  - Tan Huu Nguyen
AU  - Khanh Van To
PY  - 2026
UR  - https://arxiv.org/abs/2606.16814
ID  - 2606.16814
ER  -