CHUFFED
From MaRDI portal
Cited in
(47)- Scenario-based learning for stochastic combinatorial optimisation
- Modelling and solving the minimum shift design problem
- Computing AES related-key differential characteristics with constraint programming
- Nutmeg: a MIP and CP hybrid solver using branch-and-check
- Learning variable activity initialisation for lazy clause generation solvers
- Physician scheduling during a pandemic
- Instance space analysis and algorithm selection for the job shop scheduling problem
- A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences
- DPvis
- iOpt
- LSSPER
- COMET
- CSPLib
- CPlan
- Choco
- Gecode
- MiniZinc
- A local search framework for industrial test laboratory scheduling
- MINION
- Kangaroo
- Oscar.cbls
- SALBPGen
- MinisatID
- OR-tools
- SATGraf
- PermLab
- VIFID/TRIFID
- ILOG SCHEDULE
- Picat-SAT
- Oz Explorer
- Essence
- DiSCiPl
- HIBISCUS
- CryptoSAT
- sunny-cp
- Compiling CP subproblems to MDDs and d-DNNFs
- CP Optimizer
- Using constraint programming for solving RCPSP/MAX-cal
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- Constraint-based Diversification of JOP Gadgets
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- Towards breaking more composition symmetries in partial symmetry breaking
- Visual search tree profiling
- Automatic search for bit-based division property
- Auto-tabling for subproblem presolving in MiniZinc
- Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems
- Coupling different integer encodings for SAT
This page was built for software: CHUFFED
