SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology.

Ondrej Huvar, Martin Jons, Samuel Pastva

Browse the full SAT paper archive.