Interval propagation to reason about sets: Definition and implementation of a practical language

DOI10.1007/BF00137870zbMath0870.68039MaRDI QIDQ679421

Carmen Gervet

Publication date: 15 September 1997

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

constraint programming languagelocal consistency techniquesrelational set constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

ECLⁱPS^e – From LP to CLP, Combining Two Structured Domains for Modeling Various Graph Matching Problems, On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP, Symmetry breaking constraints for value symmetries in constraint satisfaction, Generic incremental algorithms for local search, Global domain views for expressive and cross-domain constraint programming, Cardinal: a finite sets constraint solver, Adding partial functions to Constraint Logic Programming with sets, Contractibility for open global constraints, Solving set-valued constraint satisfaction problems, Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership, Multiset variable representations and constraint propagation, A constraint propagation approach to structural model based image segmentation and recognition, Enhancing set constraint solvers with lexicographic bounds, Lazy Constraint Imposing for Improving the Path Constraint, Solving Kirkman's schoolgirl problem in a few seconds, Symmetry breaking revisited, Unnamed Item, Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking, Solving quantifier-free first-order constraints over finite sets and binary relations, Local consistency for extended CSPs

Uses Software

• CHIP
• Miranda
• Prolog
• SETL

Cites Work

• Logic programming with sets
• Solving a cutting-stock problem with the constraint logic programming language CHIP
• A generic arc-consistency algorithm and its specializations
• Consistency in networks of relations
• A language and a program for stating and solving combinatorial problems
• Introducing global constraints in CHIP
• REF-ARF: A system for solving problems stated as procedures
• {log}: A language for programming in logic with finite sets
• Set constructors in a logic database language
• Extended unification algorithms for the integration of functional programming into logic programming
• Compilation of set terms in the logic data language (LDL)
• Covering, Packing and Knapsack Problems
• Solving Airline Crew Scheduling Problems by Branch-and-Cut
• Interval computation as deduction in chip
• Solving large combinatorial problems in logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item