SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology

Ondřej Huvar, Martin Jonáš, Samuel Pastva

The theory of uninterpreted functions is a key modeling tool for systems with unknown or abstracted components. Some domains such as systems biology impose further restrictions reg…