{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:47:16Z","timestamp":1730270836248,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,24]]},"DOI":"10.1109\/iros45743.2020.9340804","type":"proceedings-article","created":{"date-parts":[[2021,3,15]],"date-time":"2021-03-15T14:49:56Z","timestamp":1615819796000},"page":"6704-6710","source":"Crossref","is-referenced-by-count":4,"title":["Towards General Infeasibility Proofs in Motion Planning"],"prefix":"10.1109","author":[{"given":"Sihui","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil T.","family":"Dantam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"Practical exponential coordinates using implicit dual quaternions","author":"dantam","year":"2018","journal-title":"Workshop on the Algorithmic Foundations of Robotics"},{"key":"ref32","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref31","article-title":"A software package for sequential quadratic programming","author":"kraft","year":"1988","journal-title":"Tech Rep DFVLR-FB 88-28"},{"key":"ref30","first-page":"33","author":"eggleston","year":"1958","journal-title":"Helly’s Theorem and its Applications ser Cambridge Tracts in Mathematics"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915619022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0219843605000545"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2018.2815081"},{"key":"ref13","first-page":"58","article-title":"Blackbox: A new approach to the application of theorem proving to problem solving","volume":"58260","author":"kautz","year":"1998","journal-title":"AIPS98 Workshop on Planning as Combinatorial Search"},{"key":"ref14","first-page":"684","article-title":"Engineering efficient planners with SAT","author":"rintanen","year":"2012","journal-title":"the 12th European Conference on Artificial Intelligence (ECAI)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914528132"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2012.2205651"},{"article-title":"Sample-based planning with volumes in configuration space","year":"2011","author":"shkolnik","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225337"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2894861"},{"journal-title":"Rapidly-Exploring Random Trees A New Tool for Path Planning","year":"1998","author":"lavalle","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364908097884"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/356625.356626"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308111"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918761570"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/70.704220"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68405-3_17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913507795"},{"key":"ref1","first-page":"7","article-title":"A hybrid approach for complete motion planning","author":"zhang","year":"2007","journal-title":"International Conference on Intelligent Robots and Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.932865"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/978-3-030-28619-4_43","article-title":"Caging and path non-existence: a deterministic sampling-based verification algorithm","author":"varava","year":"2020","journal-title":"Robotics Research"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225300"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45058-0_15"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799298"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139775"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2005.I.004"}],"event":{"name":"2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2020,10,24]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2021,1,24]]}},"container-title":["2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9340668\/9340635\/09340804.pdf?arnumber=9340804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:51:46Z","timestamp":1656453106000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9340804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,24]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/iros45743.2020.9340804","relation":{},"subject":[],"published":{"date-parts":[[2020,10,24]]}}}