EN FR
EN FR
TASC - 2016
Overall Objectives
Application Domains
Bilateral Contracts and Grants with Industry
Bibliography
Overall Objectives
Application Domains
Bilateral Contracts and Grants with Industry
Bibliography


Section: Highlights of the Year

Highlights of the Year

Awards

Award at the MiniZinc Challenge 2016 solver competition in the Fixed category (Bronze). The aim of the challenge is to start to compare various constraint solving technology on the same problems sets. The focus is on finite domain propagation solvers. An auxiliary aim is to build up a library of interesting problem models, which can be used to compare solvers and solving technologies.