Cel The complexity of Constraint Satisfaction Problems (CSPs) has become a major common research focus of graph theory, artificial intelligence, and finite model theory. A recently discovered connection between the complexity of CSPs on finite domains to central problems in universal algebra led to additional activity in the area.The goal of this project is to extend the powerful techniques for constraint satisfaction to CSPs with infinite domains. The generalization of CSPs to infinite domains enhances dramatically the range of computational problems that can be analyzed with tools from constraint satisfaction complexity. Many problems from areas that have so far seen no interaction with constraint satisfaction complexity theory can be formulated using infinite domains (and not with finite domains), e.g. in phylogenetic reconstruction, temporal and spatial reasoning, computer algebra, and operations research. It turns out that the search for systematic complexity classification in infinite domain constraint satisfaction often leads to fundamental algorithmic results.The generalization of constraint satisfaction to infinite domains poses several mathematical challenges: To make the universal algebraic approach work for infinite domain constraint satisfaction we need fundamental concepts from model theory. Luckily, the new mathematical challenges come together with additional strong tools, such as Ramsey theory or results from model theory. The most important challgenges are of an algorithmic nature: finding efficient algorithms for significant constraint languages, but also finding natural classes of problems that can be solved by a given algorithm. Dziedzina nauki natural sciencescomputer and information sciencesartificial intelligencenatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicsalgebranatural sciencesmathematicspure mathematicsdiscrete mathematicsgraph theory Program(-y) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Temat(-y) ERC-SG-PE6 - ERC Starting Grant - Computer science and informatics Zaproszenie do składania wniosków ERC-2010-StG_20091028 Zobacz inne projekty w ramach tego zaproszenia System finansowania ERC-SG - ERC Starting Grant Instytucja przyjmująca TECHNISCHE UNIVERSITAET DRESDEN Wkład UE € 223 951,60 Adres HELMHOLTZSTRASSE 10 01069 Dresden Niemcy Zobacz na mapie Region Sachsen Dresden Dresden, Kreisfreie Stadt Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Bertram Skibinski (Mr.) Kierownik naukowy Manuel Bodirsky (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych Beneficjenci (2) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko TECHNISCHE UNIVERSITAET DRESDEN Niemcy Wkład UE € 223 951,60 Adres HELMHOLTZSTRASSE 10 01069 Dresden Zobacz na mapie Region Sachsen Dresden Dresden, Kreisfreie Stadt Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Bertram Skibinski (Mr.) Kierownik naukowy Manuel Bodirsky (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS Zakończenie uczestnictwa Francja Wkład UE € 606 364,40 Adres RUE MICHEL ANGE 3 75794 Paris Zobacz na mapie Region Ile-de-France Ile-de-France Paris Rodzaj działalności Research Organisations Kontakt administracyjny Julie Zittel (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych
