{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:55:48Z","timestamp":1759334148010,"version":"build-2065373602"},"reference-count":50,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1109\/fdl68117.2025.11165268","type":"proceedings-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:24:10Z","timestamp":1758648250000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions"],"prefix":"10.1109","author":[{"given":"Rune","family":"Krauss","sequence":"first","affiliation":[{"name":"DFKI,Bremen,Germany"}]},{"given":"Luca","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"DFKI,Bremen,Germany"}]},{"given":"Marius","family":"Marach","sequence":"additional","affiliation":[{"name":"University of Bremen,Bremen,Germany"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"DFKI,Bremen,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/N-SSC.2006.4785860"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.54097\/bbqvc047"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511626913.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253720"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA336"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00640-0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_27"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2002.996778"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS57882.2023.10139373"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-018-9628-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(02)00403-1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016843"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00283-013-9389-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(94)00219-B"},{"issue":"1","key":"ref17","first-page":"215","volume-title":"Comparing BDD and SAT based techniques for model checking Chaum\u2019s dining cryptographers protocol","volume":"72","author":"Kacprzak","year":"2006"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2006.44"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232832"},{"key":"ref21","first-page":"423","article-title":"EDDY: A multi-core BDD package with dynamic memory management and reduced fragmentation","volume-title":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","author":"Krauss"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10992829"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI60457.2023.10261960"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_15"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"ref29","first-page":"8","article-title":"CaDiCaL, Gimsatul, IsaSAT and Kissat entering the SAT Competition 2024","volume-title":"Proceedings of SAT Competition \u2013 Solver, Benchmark and Proof Checker Descriptions","author":"Biere"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0102-5"},{"volume-title":"The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1","year":"2011","author":"Knuth","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102248"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_20"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2975585"},{"volume-title":"The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, Part 2","year":"2022","author":"Knuth","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9976-4"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01748-3_15"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3014"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3595295"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1057661.1057725"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1049\/el:19970452"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2025.3569778"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_3"},{"volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","year":"2000","author":"Ash","key":"ref44"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635508"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1994.11997004"},{"article-title":"Collection of digital design benchmarks","year":"2016","author":"Fi\u0161er","key":"ref47"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.17587\/prin.13.415-424"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"}],"event":{"name":"2025 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2025,9,10]]},"location":"St. Goar, Germany","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11165265\/11165266\/11165268.pdf?arnumber=11165268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T13:09:48Z","timestamp":1759237788000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11165268\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/fdl68117.2025.11165268","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]}}}