swMATH6254MaRDI QIDQ18387FDOQ18387
Author name not available (Why is that?)
Official website: https://choco-solver.org
Cited In (only showing first 100 items - show all)
- The ROOTS Constraint
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Visual search tree profiling
- MiniBrass: soft constraints for MiniZinc
- MiniCP: a lightweight solver for constraint programming
- Decision-making coordination and efficient reasoning techniques for feature-based configuration
- Computing leximin-optimal solutions in constraint networks
- Global propagation of side constraints for solving over-constrained problems
- A parametric filtering algorithm for the graph isomorphism problem
- On-line resources allocation for ATM networks with rerouting
- Cost-based filtering techniques for stochastic inventory control under service level constraints
- Enhancing set constraint solvers with lexicographic bounds
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- Title not available (Why is that?)
- A global chance-constraint for stochastic inventory systems under service level constraints
- Constraint-based scheduling: Applying constraint programming to scheduling problems.
- Filtering algorithms for global chance constraints
- Promoting robust black-box solvers through competitions
- Local Search and Constraint Programming
- DPvis
- Title not available (Why is that?)
- CLAIRE
- Mozart
- JOBSHOP
- Gecode
- JaCoP
- Cardinal
- NumberJack
- CaSPER
- SLIDE
- AllDifferent
- AtMostNValue
- ptsplib
- OscaR
- GlueMiniSat
- G12
- MINION
- JHotDraw
- Kangaroo
- MinisatID
- OR-tools
- VIFID/TRIFID
- STR2
- CheckCell
- Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints
- A constraint-based approach for the shift design personnel task scheduling problem with equity
- Confidence-based reasoning in stochastic constraint programming
- Combining VNS with constraint programming for solving anytime optimization problems
- cc(FD)
- ILOG SCHEDULE
- ToOLS
- MiniSearch
- CBack
- DisChoco
- Oz Explorer
- CHUFFED
- perprof-py
- FaCiLe
- DiSCiPl
- Knet
- MiniBrass
- Mistral
- OMG
- Minimizing costs in round robin tournaments with place constraints
- Constraint programming for stochastic inventory systems under shortage cost
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- A unified framework for partial and hybrid search methods in constraint programming
- An optimal coarse-grained arc consistency algorithm
- CP Optimizer
- fmp
- MiniCP
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Constraint-based local search for inventory control under stochastic demand and lead time
- A constraint programming approach for a batch processing problem with non-identical job sizes
- Multiset variable representations and constraint propagation
- Synchronized sweep algorithms for scalable scheduling constraints
- Airspace sectorization with constraints
- Principles and Practice of Constraint Programming – CP 2004
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- Constrained obfuscation of relational databases
- Hybrid metaheuristics for stochastic constraint programming
- Minimum formwork stock problem on residential buildings construction sites
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability
- Programming constraint services. High-level programming of standard and new constraint services
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Current-state opacity modelling and verification in partially observed Petri nets
- Frontiers of Combining Systems
- View-based propagator derivation
- Title not available (Why is that?)
- Recent Advances in Constraints
- A constraint-based approach to enigma 1225
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- Propagation engine prototyping with a domain specific language
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- A distributed optimization method for the geographically distributed data centres problem
- Stable Roommates and Constraint Programming
- Logic Programming
- binstretch
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- Improved lower bounds for the online bin stretching problem
This page was built for software: Choco
