Tag
A researcher's blog post describes turning constraint models into playable puzzle games, based on his paper on scaling Sudoku as a constraint problem. It shares MiniZinc models, a repository of 434,201 Sudoku instances, and playable versions of nine puzzle games.
This paper investigates fine-tuning small language models (0.6B-20B parameters) to generate syntactically correct MiniZinc models from natural language descriptions, proposing a cross-model error bootstrapping method that achieves up to 98% execution accuracy, though solution accuracy remains limited.
This paper investigates using supervised learning to build an oracle that decides when to apply the computationally expensive Energetic Reasoning propagator in constraint programming, showing high prediction accuracy and highlighting key design choices.
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.