5 projects found matching your search criteria :
Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Constraint Satisfaction Problems: beyond the finite case
Call: WEAVE-UNISONO , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński
DATALOG in Constraint Satisfaction Problem
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki