Skip to main content

Solving contraints over naturals, integers and finite domains

Topic(s)

Data not available

Call for proposal

Data not available

Coordinator

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

See on map

Participants (4)

European Computer-Industry Research Centre GmbH
Germany
Address
Arabellastraße 17
81925 München

See on map

Universidade Nova de Lisboa
Portugal
Address
Quinta Da Torre
2825 Monte De Caparica

See on map

Universidade do Porto
Portugal
Address
135,rua Das Taipas
4000 Porto

See on map

Université de Paris XI (Université Paris-Sud)
France
Address
Avenue Georges Clémenceau
91405 Orsay

See on map