TY - RPRT TI - A Constraint Solving Approach to Tropical Equilibration and Model Reduction AU - Sylvain Soliman AU - Francois Fages AU - Ovidiu Radulescu PY - 2014 UR - https://arxiv.org/abs/1401.6337 ID - 1401.6337 ER -