utex Propagation for SAT-based Multi-Agent Path Finding

Pavel Surynek, Jiaoyang Li, Han Zhang, T. K. Satish Kumar, Sven Koenig.

International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), pages 248-258, 2020.

Publisher
@inproceedings{ SurynekPRIMA20,
  author    = "Pavel Surynek and Jiaoyang Li and Han Zhang and T. K. Satish Kumar and Sven Koenig",
  title     = "utex Propagation for SAT-based Multi-Agent Path Finding",
  booktitle = "Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)",
  pages     = "248-258",
  year      = "2020",
  doi       = "10.1007/978-3-030-69322-0_16",
}