The project develops next-generation generic computational methodology and practical tools that allow for declaratively solving various types of computationally hard, complex real-world optimization problems, and provides fundamental insights into the algorithmic techniques underlying the tools.

2023

2027