Skip to main content

Solving contraints over naturals, integers and finite domains

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

Institut National de Recherches en Informatique et en Automatique - INRIA
Address
Rue Du Jardin Botanique 615
54602 Villers-les-nancy
France

Participants (4)

European Computer-Industry Research Centre GmbH
Germany
Address
Arabellastraße 17
81925 München
Universidade Nova de Lisboa
Portugal
Address
Quinta Da Torre
2825 Monte De Caparica
Universidade do Porto
Portugal
Address
135,Rua Das Taipas
4000 Porto
Université de Paris XI (Université Paris-Sud)
France
Address
Avenue Georges Clémenceau
91405 Orsay