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