{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T20:40:46Z","timestamp":1780778446479,"version":"3.54.1"},"reference-count":0,"publisher":"California Digital Library (CDL)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.5070\/c63261985","type":"journal-article","created":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T14:54:36Z","timestamp":1694703276000},"source":"Crossref","is-referenced-by-count":1,"title":["Exact enumeration of satisfiable 2-SAT formulae"],"prefix":"10.5070","volume":"3","author":[{"given":"Sergey","family":"Dovgal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00c9lie","family":"De Panafieu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vlady","family":"Ravelomanana","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"29705","published-online":{"date-parts":[[2023,9,14]]},"container-title":["Combinatorial Theory"],"original-title":[],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T14:54:37Z","timestamp":1694703277000},"score":1,"resource":{"primary":{"URL":"https:\/\/escholarship.org\/uc\/item\/1m48c7s8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,14]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,9,14]]}},"URL":"https:\/\/doi.org\/10.5070\/c63261985","relation":{},"ISSN":["2766-1334"],"issn-type":[{"value":"2766-1334","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,14]]}}}