Principles and Practice of Constraint Programming – CP 2004
From MaRDI portal
Publication:5900313
DOI10.1007/b100482zbMath1152.68573OpenAlexW1508891358MaRDI QIDQ5900313
Publication date: 9 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100482
Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (57)
Projection, consistency, and George Boole ⋮ Constraint programming and operations research ⋮ Power of pre-processing: production scheduling with variable energy pricing and power-saving states ⋮ Constrained synchronization and subset synchronization problems for weakly acyclic automata ⋮ Retail store scheduling for profit ⋮ Computational complexity of synchronization under sparse regular constraints ⋮ New filtering algorithms for combinations of among constraints ⋮ Tractability-preserving transformations of global cost functions ⋮ Generalizing Global Constraints Based on Network Flows ⋮ Branch-and-Price for Personalized Multiactivity Tour Scheduling ⋮ A \texttt{cost-regular} based hybrid column generation approach ⋮ Three generalizations of the FOCUS constraint ⋮ Global constraint catalogue: past, present and future ⋮ Models for global constraint applications ⋮ A constraint programming model for fast optimal stowage of container vessel bays ⋮ Contractibility for open global constraints ⋮ Formal languages for integer programming modeling of shift scheduling problems ⋮ Auto-tabling for subproblem presolving in MiniZinc ⋮ Mining time-constrained sequential patterns with constraint programming ⋮ STR2: optimized simple tabular reduction for table constraints ⋮ MDD propagators with explanation ⋮ Ideal separation and general theorems for constrained synchronization and their application to small constraint automata ⋮ Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs ⋮ Deriving generic bounds for time-series constraints based on regular expressions characteristics ⋮ Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining ⋮ GAC Via Unit Propagation ⋮ Breaking Symmetry of Interchangeable Variables and Values ⋮ Solution Counting Algorithms for Constraint-Centered Search Heuristics ⋮ Bounds of graph parameters for global constraints ⋮ Counting Solutions of Knapsack Constraints ⋮ The Weighted Cfg Constraint ⋮ Generating custom propagators for arbitrary constraints ⋮ Constrained synchronization and commutativity ⋮ Scheduling double round-robin tournaments with divisional play using constraint programming ⋮ An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints ⋮ The weighted grammar constraint ⋮ Global propagation of side constraints for solving over-constrained problems ⋮ The item dependent stockingcost constraint ⋮ A large neighbourhood search approach to the multi-activity shift scheduling problem ⋮ Grammar constraints ⋮ Solution counting algorithms for constraint-centered search heuristics ⋮ Combining Symmetry Breaking and Global Constraints ⋮ On global warming: Flow-based soft global constraints ⋮ Orbital shrinking: theory and applications ⋮ New approaches to nurse rostering benchmark instances ⋮ Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints ⋮ Dashed strings for string constraint solving ⋮ Solving an integrated employee timetabling and job-shop scheduling problem via hybrid branch-and-bound ⋮ A shortest path-based approach to the multileaf collimator sequencing problem ⋮ When bounds consistency implies domain consistency for regular counting constraints ⋮ Compiling CP subproblems to MDDs and d-DNNFs ⋮ On the reification of global constraints ⋮ On matrices, automata, and double counting in constraint programming ⋮ An optimal arc consistency algorithm for a particular case of sequence constraint ⋮ Optimal and efficient filtering algorithms for table constraints ⋮ Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction ⋮ Dominance breaking constraints
This page was built for publication: Principles and Practice of Constraint Programming – CP 2004
