CHUFFED

swMATH24724MaRDI QIDQ36475

No author found.

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

Related Items (20)

Visual search tree profiling ⋮ Automatic search for bit-based division property ⋮ Coupling different integer encodings for SAT ⋮ Towards breaking more composition symmetries in partial symmetry breaking ⋮ 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 ⋮ Using constraint programming for solving RCPSP/MAX-cal ⋮ Auto-tabling for subproblem presolving in MiniZinc ⋮ Nutmeg: a MIP and CP hybrid solver using branch-and-check ⋮ A local search framework for industrial test laboratory scheduling ⋮ Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems ⋮ Scenario-based learning for stochastic combinatorial optimisation ⋮ Computing AES related-key differential characteristics with constraint programming ⋮ 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 ⋮ Modelling and solving the minimum shift design problem ⋮ Compiling CP subproblems to MDDs and d-DNNFs ⋮ Constraint-based Diversification of JOP Gadgets ⋮ Learning variable activity initialisation for lazy clause generation solvers ⋮ Physician scheduling during a pandemic

This page was built for software: CHUFFED