{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T07:53:40Z","timestamp":1781078020802,"version":"3.54.1"},"publisher-location":"Philadelphia, PA","reference-count":0,"publisher":"Society for Industrial and Applied Mathematics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1137\/1.9781611973730.43","type":"proceedings-article","created":{"date-parts":[[2014,12,22]],"date-time":"2014-12-22T15:17:03Z","timestamp":1419261423000},"page":"630-641","source":"Crossref","is-referenced-by-count":6,"title":["Solving <i>d-<\/i>SAT via Backdoors to Small Treewidth"],"prefix":"10.1137","author":[{"given":"Fedor V.","family":"Fomin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Lokshtanov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neeldhara","family":"Misra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. S.","family":"Ramanujan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saket","family":"Saurabh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2014,12,22]]},"event":{"name":"Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms"},"container-title":["Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms"],"original-title":[],"link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/1.9781611973730.43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,11]],"date-time":"2019-01-11T17:07:49Z","timestamp":1547226469000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/1.9781611973730.43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,22]]},"references-count":0,"alternative-id":["10.1137\/1.9781611973730.43","10.1137\/1.9781611973730"],"URL":"https:\/\/doi.org\/10.1137\/1.9781611973730.43","relation":{},"subject":[],"published":{"date-parts":[[2014,12,22]]}}}