Email Record: Application of Logic Synthesis Toward the Inference and Control of Gene Regulatory Networks /