Salvador Abreu

Scalable Constraint-based Optimisation
Abstract: 

Declarative methods for combinatorial optimisation (such as modeling as a CSP) can form the basis of highly scalable solvers. These may be used in several application contexts, some of which may combine with machine-learning techniques. Domain applications include natural resource management.

Novel Computational Approaches for Environmental Sustainability
June 12
Short talk or poster (to be defined)
University of Evora