Choco
From MaRDI portal
Cited in
(only showing first 100 items - show all)- How constraint programming can help chemists to generate benzenoid structures and assess the local aromaticity of benzenoids
- Constrained obfuscation of relational databases
- Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
- A microkernel architecture for constraint programming
- Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
- Hybrid metaheuristics for stochastic constraint programming
- SeaPearl: a constraint programming solver guided by reinforcement learning
- 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
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Current-state opacity modelling and verification in partially observed Petri nets
- The ROOTS Constraint
- Visual search tree profiling
- MiniBrass: soft constraints for MiniZinc
- Frontiers of Combining Systems
- View-based propagator derivation
- 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
- scientific article; zbMATH DE number 2084739 (Why is no real title available?)
- Cost-based filtering techniques for stochastic inventory control under service level constraints
- A constraint-based approach to enigma 1225
- On-line resources allocation for ATM networks with rerouting
- Recent Advances in Constraints
- Enhancing set constraint solvers with lexicographic bounds
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- Propagation engine prototyping with a domain specific language
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- scientific article; zbMATH DE number 2032420 (Why is no real title available?)
- A global chance-constraint for stochastic inventory systems under service level constraints
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- Constraint-based scheduling: Applying constraint programming to scheduling problems.
- Filtering algorithms for global chance constraints
- Promoting robust black-box solvers through competitions
- A distributed optimization method for the geographically distributed data centres problem
- DPvis
- iOpt
- AbsCon
- CLAIRE
- SALSA
- COMET
- CHIP
- CSPLib
- Mozart
- JOBSHOP
- Gecode
- JaCoP
- Cardinal
- NumberJack
- 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
- CP Optimizer
- fmp
- MiniCP
- Local Search and Constraint Programming
- Logic Programming
- Stable Roommates and Constraint Programming
- scientific article; zbMATH DE number 2084751 (Why is no real title available?)
- 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
- 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
This page was built for software: Choco
