Cited in
(only showing first 100 items - show all)- 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
- binstretch
- Decision-making coordination and efficient reasoning techniques for feature-based configuration
- A distributed optimization method for the geographically distributed data centres problem
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- Improved lower bounds for the online bin stretching problem
- Recent Advances in Constraints
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- View-based propagator derivation
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- SeaPearl: a constraint programming solver guided by reinforcement learning
- 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?)
This page was built for software: Choco
