@inproceedings{SurynekSFB-JSAI2017,
  author    = {Pavel Surynek and
	       Jiri Svancara and
               Ariel Felner and
	       Eli Boyarski},
  title     = {Independence Detection in SAT-based Multi-Agent Path Finding},
  booktitle = {Proceedings of the 31st Annual Conference of The Japanese Society for Artificial Intelligence,
               JSAI 2017, Nagoya, Japan.},
  year      = {2017},
  publisher = {The Japanese Society for Artificial Intelligence}
}