Principles of Constraint Programming

DOI10.1017/CBO9780511615320zbMath1187.68132MaRDI QIDQ3559281

Publication date: 12 May 2010

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

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