Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

Artículo académico que presenta Griffin, una herramienta para inferir redes genéticas booleanas a partir de datos experimentales y restricciones biológicas. Griffin combina algoritmos consolidados y técnicas simbólicas, y utiliza aprendizaje de cláusulas para aumentar la escalabilidad al manejar conjuntos exactos de atractores. Se ilustra su eficacia con tres estudios de caso en Arabidopsis thaliana, mostrando mejoras significativas respecto a métodos anteriores.