EN FR
EN FR




Bibliography




Bibliography


2012 Project-Team Activity Report
CONTRAINTES
Constraint programming
Research centre: Paris - Rocquencourt
Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs
Keywords: Rule-based Languages, Formal Methods, Computational Biology, Combinatorial Optimization, Logic, Constraints, Hybrid Systems, Systems Biology, Synthetic Biology