CHUFFED
From MaRDI portal
Software:36475
swMATH24724MaRDI QIDQ36475FDOQ36475
Author name not available (Why is that?)
Source code repository: https://github.com/chuffed/chuffed
Cited In (20)
- Computing AES related-key differential characteristics with constraint programming
- Visual search tree profiling
- Modelling and solving the minimum shift design problem
- Using constraint programming for solving RCPSP/MAX-cal
- Learning variable activity initialisation for lazy clause generation solvers
- Physician scheduling during a pandemic
- Nutmeg: a MIP and CP hybrid solver using branch-and-check
- Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems
- Scenario-based learning for stochastic combinatorial optimisation
- Towards breaking more composition symmetries in partial symmetry breaking
- Automatic search for bit-based division property
- Constraint-based Diversification of JOP Gadgets
- Coupling different integer encodings for SAT
- Instance space analysis and algorithm selection for the job shop scheduling problem
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences
- Auto-tabling for subproblem presolving in MiniZinc
- A local search framework for industrial test laboratory scheduling
- Compiling CP subproblems to MDDs and d-DNNFs
This page was built for software: CHUFFED
