9 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Neil Dalchau, Niall Murphy, Rasmus Petersen +1
We consider how to generate chemical reaction networks (CRNs) from functional specifications. We propose a two-stage approach that combines synthesis by satisfiability modulo theor…