Skip to main content

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.

Search