%0 Conference Paper %1 conf/icaart/SurynekSFB17 %A Surynek, Pavel %A Svancara, Jiri %A Felner, Ariel %A Boyarski, Eli %B ICAART (2) %D 2017 %E van den Herik, H. Jaap %E Rocha, Ana Paula %E Filipe, Joaquim %I SciTePress %K dblp %P 85-95 %T Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2017-2.html#SurynekSFB17 %@ 978-989-758-220-2

@inproceedings{conf/icaart/SurynekSFB17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Surynek, Pavel and Svancara, Jiri and Felner, Ariel and Boyarski, Eli}, biburl = {https://www.bibsonomy.org/bibtex/246c4f0ebb195181ea8bea8c6266e44eb/dblp}, booktitle = {ICAART (2)}, crossref = {conf/icaart/2017-2}, editor = {van den Herik, H. Jaap and Rocha, Ana Paula and Filipe, Joaquim}, ee = {https://doi.org/10.5220/0006126000850095}, interhash = {fe71deade2cffec7987461fe490d2668}, intrahash = {46c4f0ebb195181ea8bea8c6266e44eb}, isbn = {978-989-758-220-2}, keywords = {dblp}, pages = {85-95}, publisher = {SciTePress}, timestamp = {2018-11-03T13:34:08.000+0100}, title = {Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2017-2.html#SurynekSFB17}, year = 2017 }