{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:07:49Z","timestamp":1725552469485},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iros.2013.6697046","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:10:53Z","timestamp":1389028253000},"page":"4784-4789","source":"Crossref","is-referenced-by-count":2,"title":["Using incomplete satisfiability modulo theories to determine robotic tasks"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Witsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Skubch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Niemczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Geihs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1016\/j.ejor.2005.02.073","article-title":"A new constraint testcase generator and the importance of hybrid optimizers","author":"shang","year":"2006","journal-title":"European Journal of Operational Research"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.12044"},{"key":"18","article-title":"Modelling and controlling of behaviour for autonomous mobile robots","author":"skubch","year":"2012","journal-title":"Ph D Dissertation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0031-0"},{"key":"16","article-title":"Rprop-A fast adaptive learning algorithm","author":"riedmiller","year":"1992","journal-title":"International Symposium on Computer and Information Sciences-ISCIS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"journal-title":"Grasp-A New Search Algorithm for Satisfiability","year":"0","author":"silva","key":"14"},{"key":"11","article-title":"Temporal composite actions with constraints","author":"doherty","year":"2012","journal-title":"Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR"},{"key":"12","article-title":"Temporal action logics","author":"doherty","year":"2009","journal-title":"Handbook of Knowledge Representation Elsevier"},{"key":"21","article-title":"A class of algorithms for distributed constraint optimization","author":"petcu","year":"2007","journal-title":"Ph D Dissertation Swiss Federal Institute of Technology (EPFL"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2245293"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00046-1"},{"key":"2","article-title":"Some unsolvable problems involving elementary functions of a real variable","author":"richardson","year":"1968","journal-title":"Journal of Symbolic Logic"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364904045564"},{"journal-title":"MiniSat v1 13-A SAT Solver with Conflict-Clause Minimization System Description for the SAT Competition","year":"2005","author":"een","key":"10"},{"journal-title":"Z3 An efficient SMT solver","year":"2008","author":"de moura","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364411"},{"journal-title":"Solving SAT and SAT Modulo Theories From An Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T","year":"2006","author":"nieuwenhuis","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"journal-title":"A computing procedure for quantification theory","year":"1960","author":"davis","key":"9"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","author":"franzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"}],"event":{"name":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)","start":{"date-parts":[[2013,11,3]]},"location":"Tokyo","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679723\/6696319\/06697046.pdf?arnumber=6697046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T12:19:34Z","timestamp":1597321174000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6697046\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6697046","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}