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

Open Webpage

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger

Published: 01 Jan 2023, Last Modified: 15 May 2025J. Comput. Biol. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0