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]

Authors

Anuj Deshpande

This author has not been identified. Look up 'Anuj Deshpande' in Google

Ritwik Kumar Layek

This author has not been identified. Look up 'Ritwik Kumar Layek' in Google