%0 Conference Paper %1 conf/atal/SurynekFSB16 %A Surynek, Pavel %A Felner, Ariel %A Stern, Roni %A Boyarski, Eli %B AAMAS %D 2016 %E Jonker, Catholijn M. %E Marsella, Stacy %E Thangarajah, John %E Tuyls, Karl %I ACM %K dblp %P 1435-1436 %T Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#SurynekFSB16 %@ 978-1-4503-4239-1

@inproceedings{conf/atal/SurynekFSB16, added-at = {2016-05-20T00:00:00.000+0200}, author = {Surynek, Pavel and Felner, Ariel and Stern, Roni and Boyarski, Eli}, biburl = {https://www.bibsonomy.org/bibtex/25d93ac4f549b21201b75b420dd44665c/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2016}, editor = {Jonker, Catholijn M. and Marsella, Stacy and Thangarajah, John and Tuyls, Karl}, ee = {http://dl.acm.org/citation.cfm?id=2937197}, interhash = {9870837580633405922f92eddd409080}, intrahash = {5d93ac4f549b21201b75b420dd44665c}, isbn = {978-1-4503-4239-1}, keywords = {dblp}, pages = {1435-1436}, publisher = {ACM}, timestamp = {2016-05-21T12:32:33.000+0200}, title = {Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#SurynekFSB16}, year = 2016 }