Partner: Aachen university (Germany)
Title: Modeling the logical response of a signalling network with constraints-programming.