Anuj Deshpande, Ritwik Kumar Layek. Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers. Biosystems, 179:55-62, 2019. [doi]
@article{DeshpandeL19,
title = {Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers},
author = {Anuj Deshpande and Ritwik Kumar Layek},
year = {2019},
doi = {10.1016/j.biosystems.2019.02.013},
url = {https://doi.org/10.1016/j.biosystems.2019.02.013},
researchr = {https://researchr.org/publication/DeshpandeL19},
cites = {0},
citedby = {0},
journal = {Biosystems},
volume = {179},
pages = {55-62},
}