@inproceedings{DBLP:conf/ecai/SurynekFSB16, author = {Pavel Surynek and Ariel Felner and Roni Stern and Eli Boyarski}, title = {Efficient {SAT} Approach to Multi-Agent Path Finding Under the Sum of Costs Objective}, booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)}, pages = {810--818}, year = {2016}, crossref = {DBLP:conf/ecai/2016}, url = {https://doi.org/10.3233/978-1-61499-672-9-810}, doi = {10.3233/978-1-61499-672-9-810}, timestamp = {Thu, 15 Jun 2017 21:33:27 +0200}, biburl = {https://dblp.org/rec/bib/conf/ecai/SurynekFSB16}, bibsource = {dblp computer science bibliography, https://dblp.org} } @proceedings{DBLP:conf/ecai/2016, editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"{u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen}, title = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {285}, publisher = {{IOS} Press}, year = {2016}, isbn = {978-1-61499-671-2}, timestamp = {Tue, 30 Aug 2016 10:30:24 +0200}, biburl = {https://dblp.org/rec/bib/conf/ecai/2016}, bibsource = {dblp computer science bibliography, https://dblp.org} }