Fridge compiler: optimal circuits from molecular inventories

DOI10.1007/978-3-031-42697-1_16OpenAlexW4386548909MaRDI QIDQ6199832

Luis Ceze, Chris Thachuk, Gus Smith, Lancelot Wathieu

Publication date: 28 February 2024

Published in: Computational Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42697-1_16

zbMATH Keywords

molecular computingcyclic combinational circuitsexact logic synthesis

Mathematics Subject Classification ID

Systems biology, networks (92C42) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Cites Work

• A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
• Rate-independent computation in continuous chemical reaction networks
• Two-domain DNA strand displacement

This page was built for publication: Fridge compiler: optimal circuits from molecular inventories