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