NordConsNet: the Nordic Network for researchers and practitioners of Constraint programming
The NordConsNet Workshop 2019 will be held in May or June 2019 at the Certus Centre for Software Validation and Verification of the Simula Research Laboratory in Oslo, Norway: a call for talks and participation will come in due time.
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)