Text this: Application of Logic Synthesis Toward the Inference and Control of Gene Regulatory Networks /