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.
[bibtex] [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",
}