How efficient is a global constraint in practice? A fair experimental framework

DOI10.1007/s10601-017-9277-yzbMath1394.90431OpenAlexW2762311422MaRDI QIDQ1706598

Pierre Schaus, Sascha van Cauwelaert, Michele Lombardi

Publication date: 22 March 2018

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-017-9277-y

zbMATH Keywords

evaluationpropagatoranalysisconstraint programmingglobal constraintperformance profilesunary resourcecumulativealldifferentbinpacking

Mathematics Subject Classification ID

Integer programming (90C10)

Related Items (1)

Improved filtering for the bin-packing with cardinality constraint

Uses Software

• PSPLIB
• TSPLIB
• CHIP
• Oz
• BL data set
• OscaR
• Oz Explorer

Cites Work

• Visual search tree profiling
• Decision diagrams for optimization
• Implementing logical connectives in constraint programming
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Introducing global constraints in CHIP
• Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
• An efficient filtering algorithm for the unary resource constraint with transition times and optional activities
• Solving TSP through the Integration of OR and CP Techniques
• Heterogeneous constraint solving
• An Approximative Criterion for the Potential of Energetic Reasoning
• Encodings of the Sequence Constraint
• Revisiting the Sequence Constraint
• Extended unification algorithms for the integration of functional programming into logic programming
• TSPLIB—A Traveling Salesman Problem Library
• A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint
• When is it worthwhile to propagate a constraint? A probabilistic analysis of A<scp>ll</scp>D<scp>ifferent</scp>
• MDD Propagation for Sequence Constraints
• Time-Table Disjunctive Reasoning for the Cumulative Constraint
• Understanding the Potential of Propagators
• Solving large combinatorial problems in logic programming
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004
• Benchmarking optimization software with performance profiles.

This page was built for publication: How efficient is a global constraint in practice? A fair experimental framework