Skip to main content

1 article related to "Satisfiability Problem"

No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.

Articles

Technology Report

Published on 06 Mar 2018

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

in Computational Genomics

Stalin Muñoz
Miguel Carrillo
Eugenio Azpeitia
David A. Rosenblueth

Frontiers in Genetics

doi 10.3389/fgene.2018.00039

7,277 views
17 citations