External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mutex Propagation for SAT-based Multi-agent Path Finding

Pavel Surynek, Jiaoyang Li 0001, Han Zhang, T. K. Satish Kumar, Sven Koenig. Mutex Propagation for SAT-based Multi-agent Path Finding. In Takahiro Uchiya, Quan Bai, Iván Marsá-Maestre, editors, PRIMA 2020: Principles and Practice of Multi-Agent Systems - 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings. Volume 12568 of Lecture Notes in Computer Science, pages 248-258, Springer, 2020. [doi]

Authors

Pavel Surynek

This author has not been identified. Look up 'Pavel Surynek' in Google

Jiaoyang Li 0001

This author has not been identified. Look up 'Jiaoyang Li 0001' in Google

Han Zhang

This author has not been identified. Look up 'Han Zhang' in Google

T. K. Satish Kumar

This author has not been identified. Look up 'T. K. Satish Kumar' in Google

Sven Koenig

This author has not been identified. Look up 'Sven Koenig' in Google
runs on