%0 Conference Paper %1 conf/iros/WitschSNG13 %A Witsch, Andreas %A Skubch, Hendrik %A Niemczyk, Stefan %A Geihs, Kurt %B IROS %D 2013 %I IEEE %K dblp %P 4784-4789 %T Using incomplete satisfiability modulo theories to determine robotic tasks. %U http://dblp.uni-trier.de/db/conf/iros/iros2013.html#WitschSNG13 %@ 978-1-4673-6358-7

@inproceedings{conf/iros/WitschSNG13, added-at = {2022-10-02T00:00:00.000+0200}, author = {Witsch, Andreas and Skubch, Hendrik and Niemczyk, Stefan and Geihs, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/2b2598ff09dea87985d8164f23ef38b99/dblp}, booktitle = {IROS}, crossref = {conf/iros/2013}, ee = {https://doi.org/10.1109/IROS.2013.6697046}, interhash = {1d5b119e147c990e1d876aed3099bb47}, intrahash = {b2598ff09dea87985d8164f23ef38b99}, isbn = {978-1-4673-6358-7}, keywords = {dblp}, pages = {4784-4789}, publisher = {IEEE}, timestamp = {2024-04-09T12:08:26.000+0200}, title = {Using incomplete satisfiability modulo theories to determine robotic tasks.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2013.html#WitschSNG13}, year = 2013 }