Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-1809-05959
%A Surynek, Pavel
%D 2018
%J CoRR
%K dblp
%T Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search.
%U http://dblp.uni-trier.de/db/journals/corr/corr1809.html#abs-1809-05959
%V abs/1809.05959
@article{journals/corr/abs-1809-05959,
added-at = {2018-10-05T00:00:00.000+0200},
author = {Surynek, Pavel},
biburl = {https://www.bibsonomy.org/bibtex/23f2682e349ac3af76b7d56c928a70a04/dblp},
ee = {http://arxiv.org/abs/1809.05959},
interhash = {867f7c93346ced437b62c097856a5fce},
intrahash = {3f2682e349ac3af76b7d56c928a70a04},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-10-09T11:38:00.000+0200},
title = {Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1809.html#abs-1809-05959},
volume = {abs/1809.05959},
year = 2018
}