8 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
Call: OPUS 7 , Panel: ST7
Principal investigator: prof. Michał Mrozowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Nonsmooth Systems in Mathematical Theory of Contact Mechanics
Call: MAESTRO 3 , Panel: ST1
Principal investigator: prof. Stanisław Migórski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 17 , Panel: HS6
Principal investigator: dr Jolanta Enko
SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie
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