Genetic Design via Combinatorial Constraint Specification

Swapnil P. Bhatia, Michael J. Smanski, Christopher A. Voigt, Douglas M. Densmore

Research output: Contribution to journalArticle

10 Scopus citations


We present a formal language for specifying via constraints a "design space" of DNA constructs composed of genetic parts, and an algorithm for automatically and correctly creating a novel representation of the space of satisfying designs. The language is simple, captures a large class of design spaces, and possesses algorithms for common operations on design spaces. The flexibility of this approach is demonstrated using a 16-gene nitrogen fixation pathway and genetic logic circuits.

Original languageEnglish (US)
Pages (from-to)2130-2135
Number of pages6
JournalACS Synthetic Biology
Issue number11
StatePublished - Nov 17 2017

Fingerprint Dive into the research topics of 'Genetic Design via Combinatorial Constraint Specification'. Together they form a unique fingerprint.

  • Cite this