{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:56:03Z","timestamp":1760597763219},"reference-count":24,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Discrete Math."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1137\/16m1065288","type":"journal-article","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T14:08:56Z","timestamp":1506434936000},"page":"2185-2200","source":"Crossref","is-referenced-by-count":17,"title":["Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas"],"prefix":"10.1137","volume":"31","author":[{"given":"Amer E.","family":"Mouawad","sequence":"first","affiliation":[]},{"given":"Naomi","family":"Nishimura","sequence":"additional","affiliation":[]},{"given":"Vinayak","family":"Pathak","sequence":"additional","affiliation":[]},{"given":"Venkatesh","family":"Raman","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"atypb1","first-page":"13","author":"Aichholzer O.","year":"2013","journal-title":"Berlin"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-37-00334-X"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1016\/j.endm.2013.10.040"},{"key":"atypb5","first-page":"110","author":"Bonsma P.","year":"2014","journal-title":"Berlin"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2007.07.028"},{"key":"atypb9","first-page":"39","volume":"15","author":"Wood K.","year":"1982","journal-title":"Lett."},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.7151\/dmgt.1562"},{"key":"atypb12","first-page":"210","author":"Gavoille C.","year":"2001","journal-title":"Philadelphia"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1137\/07070440X"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.005"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2012.05.014"},{"key":"atypb16","first-page":"208","author":"Ito T.","year":"2014","journal-title":"Berlin"},{"key":"atypb17","first-page":"341","author":"Ito T.","year":"2014","journal-title":"Berlin"},{"key":"atypb18","first-page":"221","author":"Johnson M.","year":"2014","journal-title":"Berlin"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.03.004"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(72)90093-3"},{"key":"atypb21","first-page":"506","author":"Lokshtanov D.","year":"2015","journal-title":"Berlin"},{"key":"atypb22","first-page":"985","author":"Mouawad A. E.","year":"2015","journal-title":"Berlin"},{"key":"atypb23","first-page":"452","author":"Mouawad A. E.","year":"2014","journal-title":"Berlin"},{"key":"atypb24","first-page":"281","author":"Mouawad A. E.","year":"2013","journal-title":"Berlin"},{"key":"atypb25","first-page":"246","author":"Mouawad A. E.","year":"2014","journal-title":"Berlin"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0118(200003)33:3<167::AID-JGT7>3.0.CO;2-5"},{"key":"atypb27","first-page":"216","author":"Schaefer T. J.","year":"1978","journal-title":"New York"},{"key":"atypb29","first-page":"127","author":"J","year":"2013","journal-title":"UK"}],"container-title":["SIAM Journal on Discrete Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/16M1065288","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,21]],"date-time":"2018-11-21T11:26:17Z","timestamp":1542799577000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/16M1065288"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1137\/16M1065288"],"URL":"https:\/\/doi.org\/10.1137\/16m1065288","relation":{},"ISSN":["0895-4801","1095-7146"],"issn-type":[{"value":"0895-4801","type":"print"},{"value":"1095-7146","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]}}}