Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
CHUFFED - MaRDI portal

CHUFFED

From MaRDI portal
Software:36475



swMATH24724MaRDI QIDQ36475


No author found.

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




Related Items (20)

Visual search tree profilingAutomatic search for bit-based division propertyCoupling different integer encodings for SATTowards breaking more composition symmetries in partial symmetry breakingInstance space analysis and algorithm selection for the job shop scheduling problemAn algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learningUsing constraint programming for solving RCPSP/MAX-calAuto-tabling for subproblem presolving in MiniZincNutmeg: a MIP and CP hybrid solver using branch-and-checkA local search framework for industrial test laboratory schedulingMixed-integer linear programming and constraint programming formulations for solving resource availability cost problemsScenario-based learning for stochastic combinatorial optimisationComputing AES related-key differential characteristics with constraint programmingCable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraintsA collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferencesModelling and solving the minimum shift design problemCompiling CP subproblems to MDDs and d-DNNFsConstraint-based Diversification of JOP GadgetsLearning variable activity initialisation for lazy clause generation solversPhysician scheduling during a pandemic


This page was built for software: CHUFFED