CHUFFED

swMATH24724MaRDI QIDQ36475FDOQ36475

Author name not available (Why is that?)

Official website: https://minerva-access.unimelb.edu.au/handle/11343/36679

Source code repository: https://github.com/chuffed/chuffed

Cited In (43)

• 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
• DPvis
• CPlan
• Constraint-based Diversification of JOP Gadgets
• Choco
• Gecode
• MiniZinc
• MINION
• Kangaroo
• Oscar.cbls
• SALBPGen
• MinisatID
• OR-tools
• SATGraf
• PermLab
• VIFID/TRIFID
• ILOG SCHEDULE
• Picat-SAT
• Oz Explorer
• Essence
• DiSCiPl
• HIBISCUS
• CryptoSAT
• sunny-cp
• Coupling different integer encodings for SAT
• Instance space analysis and algorithm selection for the job shop scheduling problem
• CP Optimizer
• 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