Principles of Constraint Programming
From MaRDI portal
Cited in
(93)- A global chance-constraint for stochastic inventory systems under service level constraints
- Non-binary quantified CSP: Algorithms and modelling
- A full first-order constraint solver for decomposable theories
- Designing end-to-end resource reservations in predictable distributed embedded systems
- Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
- LP bounds in various constraint programming approaches for orthogonal packing
- Constraint programming for stochastic inventory systems under shortage cost
- Optimization of a recursive conveyor by reduction to a constraint satisfaction problem
- A survey of scheduling with parallel batch (p-batch) processing
- Mixed-integer linear programming, constraint programming and column generation approaches for operating room planning under block strategy
- The consecutive multiprocessor job scheduling problem
- A constraint programming-based approach to the crew scheduling problem of the Taipei mass rapid transit system
- Core group placement: allocation and provisioning of heterogeneous resources
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
- Parallel execution of schedules with random dependency graph
- View-based propagator derivation
- Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction
- Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
- Domain filtering consistencies for non-binary constraints
- Range-only SLAM with indistinguishable landmarks; a constraint programming approach
- Efficient algorithms for singleton arc consistency
- Solving a real-life, large-scale energy management problem
- An analysis of arithmetic constraints on integer intervals
- Towards constraint-based school timetabling
- Constraint programming for computing non-stationary \((R, S)\) inventory policies
- Exploiting semidefinite relaxations in constraint programming
- On global warming: Flow-based soft global constraints
- Improving strong branching by domain propagation
- A decision procedure for linear ``big O equations
- Underground mine scheduling of mobile machines using constraint programming and large neighborhood search
- Optimal deployment of virtual network functions for securing telecommunication networks against distributed denial of service attacks: a robust optimization approach
- On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
- Semidefinite programming and constraint programming
- Simulating Dynamic Systems Using Linear Time Calculus Theories
- Gallai-Edmonds decomposition as a pruning technique
- Solving a resource allocation problem in wireless mesh networks: a comparison between a CP-based and a classical column generation
- Scheduling operating theatres: mixed integer programming vs. constraint programming
- A constraint programming based column generation approach to nurse rostering problems
- Computing an irregularity strength of selected graphs
- Necessary conditions for tractability of valued CSPs
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
- Semiring-Based Soft Constraints
- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
- Multivalued action languages with constraints in CLP(FD)
- Constraint propagation as information maximization
- A Method for Sensor Placement Taking into Account Diagnosability Criteria
- Mathematical programming: Turing completeness and applications to software analysis
- Orbitopal fixing
- Weighted matching as a generic pruning technique applied to optimization constraints
- Parallel algorithms for minimal nondeterministic finite automata inference
- Balancing stochastic type-II assembly lines: chance-constrained mixed integer and constraint programming models
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- A combinatorial approach for small and strong formulations of disjunctive constraints
- Applying constraint logic programming to SQL semantic analysis
- Constraint acquisition
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- Electromagnetic analogue space-times, analytically and algebraically
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- Detection and exploitation of functional dependencies for model generation
- Channel-based coordination via constraint satisfaction
- A Logical Approach to Constraint Satisfaction
- A Full First-Order Constraint Solver for Decomposable Theories
- Combining metaheuristics with mathematical programming, constraint programming and machine learning
- Constraint programming-based column generation
- Constraint programming-based column generation
- Combining metaheuristics with mathematical programming, constraint programming and machine learning
- A new variable neighbourhood search with a constraint programming search strategy for the open shop scheduling problem with operation repetitions
- A constraint programming-based iterated greedy algorithm for the open shop with sequence-dependent processing times and makespan minimization
- Constraint propagation on GPU: a case study for the cumulative constraint
- Operating room scheduling with surgical team: a new approach with constraint programming and goal programming
- A multiobjective framework for heavily constrained examination timetabling problems
- Implementing logical connectives in constraint programming
- The complexity of recursive constraint satisfaction problems
- An exact constraint programming based procedure for the multi-manned assembly line balancing problem
- The rational construction of a Wheeler DFA
- A Benders and column generation method to integrated aircraft and passenger recovery with cruise speed control under slot capacity restriction
- Introducing covering problems for the electronic wafer test
- Stochastic concurrent constraint programming
- Constraint propagation on GPU: a case study for the cumulative constraint
- Introducing statistical consistency for infinite chance constraints
- Filtering algorithms for the multiset ordering constraint
- Cost-based filtering techniques for stochastic inventory control under service level constraints
- New filtering algorithms for combinations of among constraints
- Multiconsistency and robustness with global constraints
- Scheduling and routing of automated guided vehicles: A hybrid approach
- Models for global constraint applications
- A multi-parametric programming approach for constrained dynamic programming problems
- Formula dissection: A parallel algorithm for constraint satisfaction
- Combining VNS with constraint programming for solving anytime optimization problems
- A large neighbourhood search approach to the multi-activity shift scheduling problem
- Scheduling internal audit activities: a stochastic combinatorial optimization problem
This page was built for publication: Principles of Constraint Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559281)
