Choco

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