{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T14:21:12Z","timestamp":1767709272886,"version":"3.48.0"},"publisher-location":"Philadelphia, PA","reference-count":0,"publisher":"Society for Industrial and Applied Mathematics","isbn-type":[{"value":"9781611978964","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1137\/1.9781611978964.19","type":"book-chapter","created":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T14:17:18Z","timestamp":1767709038000},"page":"254-265","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Reduction from #SAT to #2SAT Based on Symmetry:\n                    <i>Simply Drop the Large Clauses<\/i>"],"prefix":"10.1137","author":[{"given":"Max","family":"Bannach","sequence":"first","affiliation":[{"name":"European Space Agency, AI and Data Science Section, Noordwijk, The Netherlands."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik D.","family":"Demaine","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology","place":["USA"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Gomez","sequence":"additional","affiliation":[{"name":"European Space Agency, AI and Data Science Section, Noordwijk, The Netherlands."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Hecher","sequence":"additional","affiliation":[{"name":"Univ. Artois","place":["France"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","published-online":{"date-parts":[[2026,1,6]]},"container-title":["2026 SIAM Symposium on Simplicity in Algorithms (SOSA)"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T14:17:19Z","timestamp":1767709039000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/1.9781611978964.19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"ISBN":["9781611978964"],"references-count":0,"alternative-id":["10.1137\/1.9781611978964.19","10.1137\/1.9781611978964"],"URL":"https:\/\/doi.org\/10.1137\/1.9781611978964.19","relation":{},"subject":[],"published":{"date-parts":[[2026,1]]}}}