Tag
Gecode 6.3.0 and 6.4.0 are released after a long pause, bringing a modernized build system (CMake) and updated MiniZinc integration.
This paper presents a two-step method for optimizing resource utilization in autonomous laboratories using constraint programming for scheduling and status dependencies for robust execution, demonstrated on a platform for metal-organic framework synthesis.
This paper presents the aircraft disassembly scheduling problem, a large-scale combinatorial optimization task involving thousands of tasks, precedence relations, balance constraints, and limited space. It proposes a Constraint Programming model and a MIP model tested on real operational instances with up to 1450 tasks.
This paper presents a hybrid approach combining dynamic programming and constraint programming to solve the Partial Shop Scheduling Problem, demonstrating the viability of integrating both paradigms despite not outperforming pure CP solvers.
This paper presents a constraint programming approach to determine NHL playoff clinching scenarios with n-day lookahead, using tree search and preprocessing techniques.
The author explores combining relational modeling with APL-style array languages using constraint logic and equational rewrite rules, discussing how properties can be defined as bidirectional deductions rather than simple assignments.