Cited in
(only showing first 100 items - show all)- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Combining VNS with constraint programming for solving anytime optimization problems
- Programming constraint services. High-level programming of standard and new constraint services
- Constraint-based local search for inventory control under stochastic demand and lead time
- Enhancing set constraint solvers with lexicographic bounds
- MiniCP: a lightweight solver for constraint programming
- Minimum formwork stock problem on residential buildings construction sites
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- MiniBrass: soft constraints for MiniZinc
- Global propagation of side constraints for solving over-constrained problems
- A unified framework for partial and hybrid search methods in constraint programming
- Airspace sectorization with constraints
- Cost-based filtering techniques for stochastic inventory control under service level constraints
- A global chance-constraint for stochastic inventory systems under service level constraints
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- The ROOTS Constraint
- A parametric filtering algorithm for the graph isomorphism problem
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- scientific article; zbMATH DE number 2032420 (Why is no real title available?)
- Minimizing costs in round robin tournaments with place constraints
- DPvis
- iOpt
- AbsCon
- CLAIRE
- SALSA
- COMET
- CHIP
- CSPLib
- Mozart
- JOBSHOP
- Gecode
- JaCoP
- Cardinal
- NumberJack
- Promoting robust black-box solvers through competitions
- CaSPER
- SLIDE
- AllDifferent
- AtMostNValue
- ptsplib
- OscaR
- GlueMiniSat
- G12
- MINION
- JHotDraw
- Kangaroo
- MinisatID
- OR-tools
- VIFID/TRIFID
- STR2
- CheckCell
- cc(FD)
- ILOG SCHEDULE
- ToOLS
- MiniSearch
- CBack
- DisChoco
- Oz Explorer
- CHUFFED
- perprof-py
- FaCiLe
- DiSCiPl
- Knet
- MiniBrass
- Mistral
- OMG
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints
- Synchronized sweep algorithms for scalable scheduling constraints
- CP Optimizer
- fmp
- MiniCP
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability
- An optimal coarse-grained arc consistency algorithm
- Constraint-based scheduling: Applying constraint programming to scheduling problems.
- Filtering algorithms for global chance constraints
- A constraint programming approach for a batch processing problem with non-identical job sizes
- scientific article; zbMATH DE number 2084751 (Why is no real title available?)
- Multiset variable representations and constraint propagation
- Hybrid metaheuristics for stochastic constraint programming
- Principles and Practice of Constraint Programming – CP 2004
- Constrained obfuscation of relational databases
- A constraint-based approach for the shift design personnel task scheduling problem with equity
- Confidence-based reasoning in stochastic constraint programming
- Visual search tree profiling
- Local Search and Constraint Programming
- Constraint programming for stochastic inventory systems under shortage cost
- Computing leximin-optimal solutions in constraint networks
- Frontiers of Combining Systems
- On-line resources allocation for ATM networks with rerouting
- Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- Propagation engine prototyping with a domain specific language
- How constraint programming can help chemists to generate benzenoid structures and assess the local aromaticity of benzenoids
- A microkernel architecture for constraint programming
- Current-state opacity modelling and verification in partially observed Petri nets
- scientific article; zbMATH DE number 2084739 (Why is no real title available?)
- A constraint-based approach to enigma 1225
- Stable Roommates and Constraint Programming
- Logic Programming
This page was built for software: Choco
