%0 Conference Paper %1 conf/icaart/SurynekSFB17a %A Surynek, Pavel %A Svancara, Jiri %A Felner, Ariel %A Boyarski, Eli %B ICAART (Revised Selected Papers) %D 2017 %E van den Herik, H. Jaap %E Rocha, Ana Paula %E Filipe, Joaquim %I Springer %K dblp %P 116-136 %T Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2017s.html#SurynekSFB17a %V 10839 %@ 978-3-319-93581-2

@inproceedings{conf/icaart/SurynekSFB17a, added-at = {2019-10-19T00:00:00.000+0200}, author = {Surynek, Pavel and Svancara, Jiri and Felner, Ariel and Boyarski, Eli}, biburl = {https://www.bibsonomy.org/bibtex/2976d919b683f0faacb01d49117b86d96/dblp}, booktitle = {ICAART (Revised Selected Papers)}, crossref = {conf/icaart/2017s}, editor = {van den Herik, H. Jaap and Rocha, Ana Paula and Filipe, Joaquim}, ee = {https://www.wikidata.org/entity/Q58682782}, interhash = {d652b12cb5e185fc166866da61c7d8da}, intrahash = {976d919b683f0faacb01d49117b86d96}, isbn = {978-3-319-93581-2}, keywords = {dblp}, pages = {116-136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:29:29.000+0200}, title = {Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2017s.html#SurynekSFB17a}, volume = 10839, year = 2017 }