Choco
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A global chance-constraint for stochastic inventory systems under service level constraints
- A parametric filtering algorithm for the graph isomorphism problem
- Minimizing costs in round robin tournaments with place constraints
- Minimum formwork stock problem on residential buildings construction sites
- DPvis
- iOpt
- binstretch
- Constraint-based scheduling: Applying constraint programming to scheduling problems.
- AbsCon
- CLAIRE
- SALSA
- COMET
- CHIP
- Programming constraint services. High-level programming of standard and new constraint services
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- CSPLib
- Mozart
- JOBSHOP
- A microkernel architecture for constraint programming
- Filtering algorithms for global chance constraints
- Constraint programming for stochastic inventory systems under shortage cost
- Gecode
- JaCoP
- Cardinal
- A constraint programming approach for a batch processing problem with non-identical job sizes
- NumberJack
- Current-state opacity modelling and verification in partially observed Petri nets
- A distributed optimization method for the geographically distributed data centres problem
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- SLIDE
- CaSPER
- How constraint programming can help chemists to generate benzenoid structures and assess the local aromaticity of benzenoids
- AtMostNValue
- ptsplib
- AllDifferent
- SeaPearl: a constraint programming solver guided by reinforcement learning
- OscaR
- Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
- GlueMiniSat
- G12
- MINION
- MiniCP: a lightweight solver for constraint programming
- MiniBrass: soft constraints for MiniZinc
- View-based propagator derivation
- Propagation engine prototyping with a domain specific language
- Hybrid metaheuristics for stochastic constraint programming
- Synchronized sweep algorithms for scalable scheduling constraints
- Improved lower bounds for the online bin stretching problem
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- An optimal coarse-grained arc consistency algorithm
- Enhancing set constraint solvers with lexicographic bounds
- JHotDraw
- A unified framework for partial and hybrid search methods in constraint programming
- On-line resources allocation for ATM networks with rerouting
- Kangaroo
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Visual search tree profiling
- VIFID/TRIFID
- MinisatID
- OR-tools
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- STR2
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- Constraint-based local search for inventory control under stochastic demand and lead time
- CheckCell
- cc(FD)
- ILOG SCHEDULE
- ToOLS
- A constraint-based approach for the shift design personnel task scheduling problem with equity
- MiniSearch
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability
- The ROOTS Constraint
- Oz Explorer
- CBack
- DisChoco
- CHUFFED
- perprof-py
- FaCiLe
- DiSCiPl
- Knet
- MiniBrass
- Mistral
- OMG
- scientific article; zbMATH DE number 2032420 (Why is no real title available?)
- Local Search and Constraint Programming
- scientific article; zbMATH DE number 2084739 (Why is no real title available?)
- scientific article; zbMATH DE number 2084751 (Why is no real title available?)
- Multiset variable representations and constraint propagation
- Constrained obfuscation of relational databases
- Logic Programming
- Stable Roommates and Constraint Programming
- CP Optimizer
- Global propagation of side constraints for solving over-constrained problems
- Airspace sectorization with constraints
- Frontiers of Combining Systems
- fmp
- MiniCP
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Recent Advances in Constraints
This page was built for software: Choco
