Introducing global constraints in CHIP
From MaRDI portal
Publication:1842796
DOI10.1016/0895-7177(94)90127-9zbMath0816.68048OpenAlexW1993850412MaRDI QIDQ1842796
Nicolas Beldiceanu, Evelyne Contejean
Publication date: 20 April 1995
Published in: Mathematical and Computer Modelling (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0895-7177(94)90127-9
schedulinggraph partitioning problemsCHIP systemconstraint logic programming systemrectangles, parallelepipeds
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Logic programming (68N17)
Related Items (45)
Projection, consistency, and George Boole ⋮ Constraint programming and operations research ⋮ Invariants for time-series constraints ⋮ Gallai-Edmonds decomposition as a pruning technique ⋮ Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints ⋮ New filtering algorithms for combinations of among constraints ⋮ Tractability-preserving transformations of global cost functions ⋮ Undirected forest constraints ⋮ Combining Two Structured Domains for Modeling Various Graph Matching Problems ⋮ Generalizing Global Constraints Based on Network Flows ⋮ Reformulation of global constraints based on constraints checkers ⋮ A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property ⋮ Decision-support with preference constraints ⋮ Packing by scheduling: using constraint programming to solve a complex 2D cutting stock problem ⋮ Global constraint catalogue: past, present and future ⋮ Models for global constraint applications ⋮ Enhancing CLP branch and bound techniques for scheduling problems ⋮ Optimization bounds from decision diagrams in Haddock ⋮ Fifty Years of Prolog and Beyond ⋮ Contractibility for open global constraints ⋮ Automatic generation of dominance breaking nogoods for a class of constraint optimization problems ⋮ Solution of a Facility Layout Problem in a Final Assembly Workshop using Constraint Programming ⋮ Constraint-directed search for all-interval series ⋮ Mining time-constrained sequential patterns with constraint programming ⋮ How efficient is a global constraint in practice? A fair experimental framework ⋮ Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining ⋮ Unnamed Item ⋮ New Filtering for the $\mathit{cumulative}$ Constraint in the Context of Non-Overlapping Rectangles ⋮ The complexity of reasoning with global constraints ⋮ Improved filtering for weighted circuit constraints ⋮ Weighted matching as a generic pruning technique applied to optimization constraints ⋮ A Column Generation Model for a Scheduling Problem with Maintenance Constraints ⋮ Interval propagation to reason about sets: Definition and implementation of a practical language ⋮ An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints ⋮ New filtering for the cumulative constraint in the context of non-overlapping rectangles ⋮ Combining Symmetry Breaking and Global Constraints ⋮ Solving an integrated employee timetabling and job-shop scheduling problem via hybrid branch-and-bound ⋮ Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes ⋮ Inequality-sum: a global constraint capturing the objective function ⋮ Local consistency for extended CSPs ⋮ Explaining circuit propagation ⋮ An optimal arc consistency algorithm for a particular case of sequence constraint ⋮ Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction ⋮ Detection of the discrete convexity of polyominoes ⋮ Checking constraint satisfaction
Uses Software
Cites Work
This page was built for publication: Introducing global constraints in CHIP
