{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:21:37Z","timestamp":1743121297321,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031426964"},{"type":"electronic","value":"9783031426971"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-42697-1_16","type":"book-chapter","created":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T09:02:29Z","timestamp":1694163749000},"page":"236-252","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Fridge Compiler: Optimal Circuits from\u00a0Molecular Inventories"],"prefix":"10.1007","author":[{"given":"Lancelot","family":"Wathieu","sequence":"first","affiliation":[]},{"given":"Gus","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Ceze","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Thachuk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,9]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Backes, J.D., Riedel, M.D.: The synthesis of cyclic dependencies with Boolean satisfiability. ACM Trans. Design Autom. Electr. Syst. 17, 44:1\u201344:24 (2012)","DOI":"10.1145\/2348839.2348848"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-319-66799-7_15","volume-title":"DNA Computing and Molecular Programming","author":"S Badelt","year":"2017","unstructured":"Badelt, S., Shin, S.W., Johnson, R.F., Dong, Q., Thachuk, C., Winfree, E.: A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities. In: Brijder, R., Qian, L. (eds.) DNA 2017. LNCS, vol. 10467, pp. 232\u2013248. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66799-7_15"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Brayton, R.K., Mishchenko, A.: ABC: an academic industrial-strength verification tool. In: International Conference on Computer Aided Verification (2010)","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S0960129512000102","volume":"23","author":"L Cardelli","year":"2010","unstructured":"Cardelli, L.: Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23, 247\u2013271 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Chen, H.L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014, pp. 313\u2013326. Association for Computing Machinery (2014)","DOI":"10.1145\/2554797.2554827"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Chen, J.H., Chen, Y.C., Weng, W.C., Huang, C.Y., Wang, C.Y.: Synthesis and verification of cyclic combinational circuits. 2015 28th IEEE International System-on-Chip Conference (SOCC), pp. 257\u2013262 (2015)","DOI":"10.1109\/SOCC.2015.7406959"},{"issue":"10","key":"16_CR7","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"YJ Chen","year":"2013","unstructured":"Chen, Y.J., et al.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755\u2013762 (2013). https:\/\/doi.org\/10.1038\/nnano.2013.189","journal-title":"Nat. Nanotechnol."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/TNANO.2019.2896189","volume":"18","author":"A Eshra","year":"2019","unstructured":"Eshra, A., Shah, S., Song, T., Reif, J.H.: Renewable DNA hairpin-based logic circuits. IEEE Trans. Nanotechnol. 18, 252\u2013259 (2019)","journal-title":"IEEE Trans. Nanotechnol."},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1109\/TCAD.2019.2897703","volume":"39","author":"W Haaswijk","year":"2020","unstructured":"Haaswijk, W., Soeken, M., Mishchenko, A., Micheli, G.D.: SAT-based exact synthesis: encodings, topology families, and parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39, 871\u2013884 (2020)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: 2010 ACM\/IEEE 32nd International Conference on Software Engineering, vol. 1, pp. 215\u2013224 (2010)","DOI":"10.1145\/1806799.1806833"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Jones, T.S., Oliveira, S.M.D., Myers, C.J., Voigt, C.A., Densmore, D.M.: Genetic circuit design automation with Cello 2.0. Nat. Protocols 17, 1097\u20131113 (2022)","DOI":"10.1038\/s41596-021-00675-2"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"MR Lakin","year":"2011","unstructured":"Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.: Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinformatics 27, 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"de Moura, L.M., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: International Conference on Tools and Algorithms for Construction and Analysis of Systems (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Nielsen, A.A.K., et al.: Genetic circuit design automation. Science 352 (2016)","DOI":"10.1126\/science.aac7341"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L Qian","year":"2011","unstructured":"Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332, 1196\u20131201 (2011)","journal-title":"Science"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Riedel, M.D.: Cyclic combinational circuits. California Institute of Technology (2004)","DOI":"10.1145\/775832.775875"},{"key":"16_CR17","unstructured":"Shannon, C.E.: Realization of All 16 Switching Functions of Two Variables Requires 18 Contacts: Bell Laboratories Memorandum, pp. 711\u2013714. Wiley-IEEE Press (1953)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Soeken, M., et al.: Practical exact synthesis. In: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 309\u2013314 (2018)","DOI":"10.23919\/DATE.2018.8342027"},{"key":"16_CR19","unstructured":"Soeken, M., Riener, H., Haaswijk, W., Micheli, G.D.: The EPFL logic synthesis libraries. ArXiv abs\/1805.05121 (2018)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. In: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pp. 404\u2013415 (2006)","DOI":"10.1145\/1168857.1168907"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2009","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107, 5393\u20135398 (2009)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Testa, E., et al.: Inverter propagation and fan-out constraints for beyond-CMOS majority-based technologies. 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), pp. 164\u2013169 (2017)","DOI":"10.1109\/ISVLSI.2017.37"},{"key":"16_CR23","unstructured":"Thachuk, C., Winfree, E.: A fast, robust, and reconfigurable molecular circuit breadboard. In: 15th Annual Conference on Foundations of Nanoscience (2018). https:\/\/thachuk.com\/talk\/2018-fnano-invited\/2018-FNANO-invited.pdf, invited Talk"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Torlak, E., Bod\u00edk, R.: Growing solver-aided languages with Rosette. In: SIGPLAN Symposium On New Ideas, New Paradigms, and Reflections on Programming and Software (2013)","DOI":"10.1145\/2509578.2509586"},{"key":"16_CR25","unstructured":"Wolf, C.: Yosys open synthesis suite (2016)"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Hamadi, Y., Kugler, H., Wintersteiger, C.M.: Z34Bio: an SMT-based framework for analyzing biological computation. In: SMT Workshop 2013 11th International Workshop on Satisfiability Modulo Theories (2013)","DOI":"10.1007\/978-3-642-38088-4_6"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-42697-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T09:04:24Z","timestamp":1694163864000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-42697-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031426964","9783031426971"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-42697-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"9 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2023.uni.lu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.72 (regular), 3 (tool)","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}