NordConsNet: the Nordic Network for researchers and practitioners of Constraint programming
The NordConsNet Workshop 2019 will be held on 21 May 2019 at the Certus Centre for Software Validation and Verification, of the Simula Research Laboratory in Oslo, Norway.
Constraint programming (CP) is a rather novel set of methods and tools for modelling and solving constraint problems, in a way orthogonal and complementary to other optimisation technologies (such as ILP, MILP, SAT, etc). Constraint problems arise in many application domains, such as scheduling, rostering, planning, configuration, control, design, biology, finance, transport, logistics, and so on. Decisions have to be made (that is, the values of unknowns have to be determined) so that some constraints are satisfied and, optionally, some cost / benefit is minimised / maximised. (Read more)