Choco

swMATH6254MaRDI QIDQ18387FDOQ18387

Author name not available (Why is that?)

Cited In (62)

• Frontiers of Combining Systems
• Logic Programming
• An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
• Current-state opacity modelling and verification in partially observed Petri nets
• 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
• 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
• Title not available (Why is that?)
• A parametric filtering algorithm for the graph isomorphism problem
• Recent Advances in Constraints
• On-line resources allocation for ATM networks with rerouting
• Cost-based filtering techniques for stochastic inventory control under service level constraints
• A constraint-based approach to enigma 1225
• 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
• Title not available (Why is that?)
• A global chance-constraint for stochastic inventory systems under service level constraints
• Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
• Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand
• 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
• Local Search and Constraint Programming
• Stable Roommates and Constraint Programming
• Title not available (Why is that?)
• 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
• 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
• Improved lower bounds for the online bin stretching problem
• Airspace sectorization with constraints
• Principles and Practice of Constraint Programming – CP 2004
• How constraint programming can help chemists to generate benzenoid structures and assess the local aromaticity of benzenoids
• Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem
• Constrained obfuscation of relational databases
• Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
• A microkernel architecture for constraint programming
• 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

This page was built for software: Choco