U. .. and ). .. , 27 3-4. EE-PS: combination of two Michaelis-Menten, with shared species, Evolution of concentrations: model with three reactions, vol.12, pp.6-11

G. Graphs and G. .. Such-that-g-?-m-*-g-=-?,

. .. A-1-;, 88 A-6. Calcium Oscillations -Maximisation of the number of deletions, All SEPIs between models of Cell Cycle, vol.87

G. .. B-1.-graph,

. .. B-2.-graph-g' and . .. Menten, 35 3-8. Time to compute the first second and last SEPI for each solver (time in ms), Comparison with results of 2015: number of SEPI relations intra class, vol.92, p.60

, 72 6-4. SEPI relations intra class with combined restrictions, All possible reductions between complete and reduced Michaelis-Menten reaction graphs. 65 6-2. Number of Michaelis-Menten patterns, pp.6-7

S. Gay, Subgraph epimorphisms: Theory and application to model reductions in systems biology, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01236291

I. Tavassoly, J. Goldfarb, and R. Iyengar, Systems biology primer: the basic methods and approaches, Essays in biochemistry, vol.62, issue.4, pp.487-500, 2018.

V. Henri, Lois générales de l'action des diastases, Librairie Scientifique A, 1903.

N. Le-novere, B. Bornstein, A. Broicher, M. Courtot, M. Donizelli et al., Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic acids research, vol.34, issue.suppl_1, pp.689-691, 2006.

S. Sasagawa, Y. Ozaki, K. Fujita, and S. Kuroda, Prediction and validation of the distinct dynamics of transient and sustained erk activation, Nature cell biology, vol.7, issue.4, p.365, 2005.

D. Shasha, J. T. Wang, and R. Giugno, Algorithmics and applications of tree and graph searching, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.39-52, 2002.

X. Yan, P. S. Yu, and J. Han, Substructure similarity search in graph databases, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, pp.766-777, 2005.

N. Robertson and P. D. Seymour, Graph minors. ii. algorithmic aspects of tree-width, Journal of algorithms, vol.7, issue.3, pp.309-322, 1986.

L. Lovász, Graph minor theory, Bulletin of the American Mathematical Society, vol.43, issue.1, pp.75-86, 2006.

Y. Tian, R. C. Mceachin, C. Santos, D. J. States, and J. M. Patel, Saga: a subgraph matching tool for biological graphs, Bioinformatics, vol.23, issue.2, pp.232-239, 2006.

L. Cardelli, Morphisms of reaction networks that couple structure to function, BMC systems biology, vol.8, issue.1, p.84, 2014.

L. Noethen and S. Walcher, Tikhonov's theorem and quasi-steady state, Discrete Contin. Dyn. Syst. Ser. B, vol.16, issue.3, pp.945-961, 2011.

A. N. Tikhonov, Systems of differential equations containing small parameters in the derivatives, Matematicheskii sbornik, vol.73, pp.575-586, 1952.

N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, Journal of differential equations, vol.31, issue.1, pp.53-98, 1979.

S. Gay, S. Soliman, and F. Fages, A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18, pp.575-581, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01431335

S. Gay, F. Fages, T. Martinez, S. Soliman, and C. Solnon, On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098527

R. Diestel, Graduate texts in mathematics, vol.173, p.7, 2012.

J. Bang-jensen and G. Z. Gutin, Digraphs: theory, algorithms and applications, 2008.

J. Van-leeuwen and J. Leeuwen, Handbook of theoretical computer science, vol.1, 1990.

L. Fuchs, Partially ordered algebraic systems, Courier Corporation, vol.28, 2011.

M. Davis and H. Putnam, A computing procedure for quantification theory, Journal of the ACM (JACM), vol.7, issue.3, pp.201-215, 1960.

M. Davis, G. Logemann, and D. Loveland, A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962.

J. P. Marques-silva and K. A. Sakallah, Grasp: A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, issue.5, pp.506-521, 1999.

J. P. Silva and K. A. Sakallah, Grasp: A new search algorithm for satisfiability, Proceedings of the International Conference on Computer-Aided Design, 1996.

M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik, Chaff: Engineering an efficient sat solver, Proceedings of the 38th annual Design Automation Conference, pp.530-535, 2001.

M. Y. Vardi, Boolean satisfiability: theory and engineering, Communications of the ACM, vol.57, issue.3, pp.5-5, 2014.

D. Challenge, Satisfiability: Suggested format, DIMACS Challenge. DIMACS, 1993.

R. M. Karp, Reducibility among combinatorial problems, Complexity of computer computations, pp.85-103, 1972.

M. Marhl, T. Haberichter, M. Brumen, and R. Heinrich, Complex calcium oscillations and the role of mitochondria and cytosolic proteins, Biosystems, vol.57, issue.2, pp.75-86, 2000.

J. M. Borghans, G. Dupont, and A. Goldbeter, Complex intracellular calcium oscillations a theoretical exploration of possible mechanisms, Biophysical chemistry, vol.66, issue.1, pp.25-41, 1997.

C. Huang and J. E. Ferrell, Ultrasensitivity in the mitogen-activated protein kinase cascade, PNAS, vol.93, issue.19, 1996.

A. Levchenko, J. Bruck, and P. W. Sternberg, Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, vol.97, pp.5818-5823, 2000.

A. Ignatiev, A. Morgado, and J. Marques-silva, Rc2: a python-based maxsat solver, MaxSAT Evaluation, p.22, 2018.

A. Zha, Qmaxsat in maxsat evaluation, MaxSAT Evaluation, p.21, 2018.

S. Joshi, P. Kumar, V. Manquinho, R. Martins, A. Nadel et al., Open-wbo-inc in maxsat evaluation, MaxSAT Evaluation, p.16, 2018.

F. Bacchus, M. J. Jarvisalo, and R. Martins, Maxsat evaluation, 2018.

R. M. Karp, Reducibility among combinatorial problems, Proceedings of a Symposium on the Complexity of Computer Computations, pp.85-103, 1972.

N. I. Markevich, J. B. Hoek, and B. N. Kholodenko, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, issue.3, pp.353-359, 2004.

D. Moreland, W. Gentner, J. Hilton, and K. Hill, Studies on the mechanism of herbicidal action of 2-chloro-4, 6-bis (ethylamino)-s-triazine, Plant physiology, vol.34, issue.4, p.432, 1959.

N. E. Good, Inhibitors of the hill reaction, Plant physiology, vol.36, issue.6, p.788, 1961.

T. Walsh, Symmetry breaking using value precedence, ECAI, vol.6, pp.168-172, 2006.