@misc{indiciaeecf07dd638a2,
  title = {An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings},
  author = {Tuyen Van Kieu and Tan Huu Nguyen and Khanh Van To},
  year = {2026},
  url = {https://arxiv.org/abs/2606.16814},
  note = {Source identifier: 2606.16814}
}