Constraint Satisfaction Problems: beyond the finite case

01.10.2022 - 30.09.2026
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • FWF - Österr. Wissenschaftsfonds (International) CEUS: FWF - Lead Agency International Programmes Austrian Science Fund (FWF) Call identifier WEAVE

Forschungsschwerpunkte

  • Logic and Computation: 70%
  • Mathematical and Algorithmic Foundations: 15%
  • Computer Science Foundations: 15%

Publikationen