{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:46:26Z","timestamp":1762325186494},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"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":[[2021,9,27]]},"DOI":"10.1109\/iros51168.2021.9636534","type":"proceedings-article","created":{"date-parts":[[2021,12,16]],"date-time":"2021-12-16T20:45:38Z","timestamp":1639687538000},"page":"6935-6940","source":"Crossref","is-referenced-by-count":2,"title":["Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?"],"prefix":"10.1109","author":[{"given":"Jan","family":"Mrazek","sequence":"first","affiliation":[]},{"given":"Martin","family":"Jonas","sequence":"additional","affiliation":[]},{"given":"Jiri","family":"Barnat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","author":"filmus","article-title":"SAT algorithm for determining if a graph is disjoint","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-642-38574-2_14"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1134\/S0361768812010033"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/j.robot.2013.06.014"},{"key":"ref14","article-title":"An SMT-Based Approach to Motion Planning for Multiple Robots with Complex Constraints","author":"imeson","year":"2019","journal-title":"2019 IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.15607\/RSS.2016.XII.025"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/IROS.2004.1389702"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/LRA.2019.2930432"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/TMECH.2002.806220"},{"key":"ref19","article-title":"HyMod: A 3-DOF Hybrid Mobile and Self-Reconfigurable Modular Robot and its Extensions","author":"parrott","year":"2016","journal-title":"Distributed Autonomous Robotic Systems volume 6 of Springer Proceedings in Advanced Robotics"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-642-22110-1_14"},{"year":"2016","author":"barrett","article-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1117\/12.360345"},{"key":"ref5","article-title":"Locomotion through reconfiguration based on motor primitives for roombots self-reconfigurable modular robots","author":"bonardi","year":"2012","journal-title":"ROBOTIK 2012"},{"key":"ref8","article-title":"Z3: an efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems volume 4963 of Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-319-24318-4_26"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/IROS.2009.5353943"},{"year":"2009","journal-title":"Handbook of Satisfiability Volume 185 of Frontiers in Artificial Intelligence and Applications","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-319-08867-9_49"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/IROS40897.2019.8967810"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/IROS40897.2019.8967775"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/IROS40897.2019.8967962"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1177\/0278364902021010835"}],"event":{"name":"2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2021,9,27]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2021,10,1]]}},"container-title":["2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9635848\/9635849\/09636534.pdf?arnumber=9636534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:54:53Z","timestamp":1652201693000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9636534\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iros51168.2021.9636534","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}