%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 %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

@inproceedings{conf/iros/WitschSNG13, added-at = {2023-12-12T19:12:45.000+0100}, author = {Witsch, Andreas and Skubch, Hendrik and Niemczyk, Stefan and Geihs, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/2b2598ff09dea87985d8164f23ef38b99/admin}, booktitle = {IROS}, crossref = {conf/iros/2013}, ee = {https://doi.org/10.1109/IROS.2013.6697046}, interhash = {1d5b119e147c990e1d876aed3099bb47}, intrahash = {b2598ff09dea87985d8164f23ef38b99}, keywords = {}, pages = {4784-4789}, publisher = {IEEE}, timestamp = {2023-12-12T19:12:45.000+0100}, title = {Using incomplete satisfiability modulo theories to determine robotic tasks.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2013.html#WitschSNG13}, year = 2013 }