Contractibility for open global constraints

DOI10.1017/S1471068417000126zbMath1379.68076arXiv1702.07889OpenAlexW2964046206MaRDI QIDQ4593091

Michael J. Maher

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.07889

zbMATH Keywords

global constraintssoft constraintsopen constraints

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Constraint solving in uncertain and dynamic environments: A survey
• Local consistency for extended CSPs
• Constraint retraction in CLP(FD): Formal framework and performance results
• Introducing global constraints in CHIP
• Dynamic global constraints in backtracking based environments
• Open constraint programming
• On global warming: Flow-based soft global constraints
• CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONSTRAINTS
• Quantitative languages
• The Theory of Grammar Constraints
• Global Grammar Constraints
• Decision Problems for Convex Languages
• Open Constraints in a Boundable World
• The Theory of Stabilisation Monoids and Regular Cost Functions
• On conjunctive queries containing inequalities
• Semiring-based constraint satisfaction and optimization
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004