Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers

Anuj Deshpande, Ritwik Kumar Layek. Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers. Biosystems, 179:55-62, 2019. [doi]

Bibliographies