%0 Generic %1 2013 %A Witsch, Andreas %A Skubch, Hendrik %A Niemczyk, Stefan %A Geihs, Kurt %B Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on %C Tokyo %D 2013 %I IEEE %K ALICA Alica Constraint Evaluation Solving goals multi-agent satisfiability %T Using incomplete satisfiability modulo theories to determine robotic tasks %U http://das-lab.vs.eecs.uni-kassel.de/publications/WitschSkubchNiemczykGeihs2013-IncompleteSatModuloTheries.pdf

@conference{2013, added-at = {2016-04-25T16:37:13.000+0200}, address = {Tokyo}, attachments = {https://141.51.121.1/sites/default/files/biblio/iros13.pdf}, author = {Witsch, Andreas and Skubch, Hendrik and Niemczyk, Stefan and Geihs, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/2a4a071c2c6fc3be951b104a35110ae75/cn}, booktitle = {Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on}, interhash = {1d5b119e147c990e1d876aed3099bb47}, intrahash = {a4a071c2c6fc3be951b104a35110ae75}, keywords = {ALICA Alica Constraint Evaluation Solving goals multi-agent satisfiability}, month = {11}, organization = {IEEE}, publisher = {IEEE}, timestamp = {2016-04-25T16:37:35.000+0200}, title = {Using incomplete satisfiability modulo theories to determine robotic tasks}, url = {http://das-lab.vs.eecs.uni-kassel.de/publications/WitschSkubchNiemczykGeihs2013-IncompleteSatModuloTheries.pdf}, year = 2013 }