T. S. Gardner, C. R. Cantor, and J. J. Collins, Construction of a genetic toggle switch in Escherichia coli, Nature, vol.11, issue.6767, pp.403-339, 2000.
DOI : 10.1016/S0006-3495(71)86192-1

N. Roquet, A. P. Soleimany, A. C. Ferris, S. Aaronson, and T. K. Lu, Synthetic recombinase-based state machines in living cells, Science, vol.35, issue.2, pp.353-363, 2016.
DOI : 10.1046/j.1365-2958.2000.01720.x

P. Siuti, J. Yazbek, and T. K. Lu, Synthetic circuits integrating logic and memory in living cells, Nature Biotechnology, vol.487, issue.5, pp.31-448, 2013.
DOI : 10.1073/pnas.022642299

B. H. Weinberg, N. T. Pham, L. D. Caraballo, T. Lozanoski, A. Engel et al., Large-scale design of robust genetic circuits with multiple inputs and outputs for mammalian cells, Nature Biotechnology, vol.44, issue.5, 2017.
DOI : 10.1038/nbt.3467

P. S. Choi and M. Meyerson, Targeted genomic rearragements using CRISPR/Cas technology, Natural Communications, vol.5, p.3728, 2014.
DOI : 10.1038/ncomms4728

URL : http://www.nature.com/articles/ncomms4728.pdf

T. Chu and J. R. Jiang, Logic synthesis of recombinase-based genetic circuits Scientific Reports

D. F. Votaw and A. Orden, The personnel assignment problem, Proc. Symposium on Linear Inequalities and Programming, pp.155-163, 1952.

H. W. Kuhn, The Hungarian method for the assignment problem, Naval Research Logistics Quarterly, vol.3, issue.1-2, pp.83-97, 1955.
DOI : 10.2140/pjm.1953.3.369

URL : http://www.eecs.umich.edu/%7Epettie/matching/Kuhn-hungarian-assignment.pdf

R. Brayton and A. Mishchenko, ABC: An Academic Industrial-Strength Verification Tool, Proc. Int'l Conf. on Computer Aided Verification, 2010.
DOI : 10.1007/978-3-642-14295-6_5

URL : http://www.eecs.berkeley.edu/%7Ealanmi/publications/2010/cav10_abc.pdf

I. Ilog, . Cplex-optimization, and . Studio, Available: https://www-01.ibm.com/software