no code implementations • 6 Jun 2022 • Sophia Saller, Jana Koehler
Domain-specific constraint patterns are introduced, which form the counterpart to design patterns in software engineering for the constraint programming setting.
1 code implementation • 25 Nov 2020 • Jana Koehler, Joseph Bürgler, Urs Fontana, Etienne Fux, Florian Herzog, Marc Pouly, Sophia Saller, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti
We summarize our investigations to model this cable tree wiring Problem (CTW) as a traveling salesman problem with atomic, soft atomic, and disjunctive precedence constraints as well as tour-dependent edge costs such that it can be solved by state-of-the-art constraint programming (CP), Optimization Modulo Theories (OMT), and mixed-integer programming (MIP) solvers.