Mutex Propagation for SAT-based Multi-Agent Path Finding

@inproceedings{SurynekPRIMA20,
  author    = {Pavel Surynek and Jiaoyang Li and Han Zhang and T. K. Satish Kumar and Sven Koenig},
  title     = {Mutex 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}
}