The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Published in: J. Comput. Biol. (2023)

Keyphrases