Lin, Pey Chang K (2013-06). Application of Logic Synthesis Toward the Inference and Control of Gene Regulatory Networks. Doctoral Dissertation. Thesis