N. Beldiceanu, M. Carlsson, S. Demassey, and T. Petit, Global constraints catalog, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01374721

G. Cohen, S. Gaubert, and J. P. Quadrat, Max-plus algebra and system theory: where we are and where to go now, Annual Reviews in Control

C. Eugene, . Freuder, J. Richard, and . Wallace, Partial constraint satisfaction, Artificial Intelligence

N. Le-novère, 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.90001, pp.689-691, 2006.
DOI : 10.1093/nar/gkj092

V. Noel, D. Grigoriev, S. Vakulenko, and O. Radulescu, Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models, Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, pp.7-12, 2011.
DOI : 10.1016/j.entcs.2012.05.016
URL : https://hal.archives-ouvertes.fr/hal-00714358

V. Noel, D. Grigoriev, S. Vakulenko, and O. Radulescu, Tropicalization and tropical equilibration of chemical reactions. arXiv:1303, press Contemporary Mathematics, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00812614

O. Radulescu, A. N. Gorban, A. Zinovyev, and V. Noel, Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3
DOI : 10.3389/fgene.2012.00131

S. Soliman, Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem, Algorithms for Molecular Biology, vol.7, issue.1, 2012.
DOI : 10.1007/BF01211911
URL : https://hal.archives-ouvertes.fr/hal-00784404

O. Viro, From the sixteenth Hilbert problem to tropical geometry, Japanese Journal of Mathematics, vol.12, issue.2
DOI : 10.1007/s11537-008-0832-6

J. Wielemaker, SWI-Prolog 6.3.15 Reference Manual