Projects search

• Keywords: constraint satisfaction problems ×

Change search criteria ↓

Search results

6 projects found matching your search criteria:

1. 1. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

   Principal investigator: dr Michał Wrona

   Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

   Call: SONATA 1, Panel: ST6

2. 2. Constraint Satisfaction Problems: beyond the finite case

   Principal investigator: dr hab. Marcin Andrzej Kozik

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: WEAVE-UNISONO, Panel: ST6

3. 3. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

   Principal investigator: dr hab. Michał Maria Wrona

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 19, Panel: ST6

4. 4. DATALOG in Constraint Satisfaction Problem

   Principal investigator: dr hab. Marcin Andrzej Kozik

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 1, Panel: ST6

5. 5. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

   Principal investigator: prof. Paweł Maria Idziak

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: MAESTRO 6, Panel: ST6

6. 6. Algebraic theory for CSP (tractability, approximation and optimization)

   Principal investigator: dr hab. Marcin Andrzej Kozik

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 7, Panel: ST6