Pages that link to "Item:Q679421"

The following pages link to Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421):

Displaying 17 items.

• Solving set-valued constraint satisfaction problems (Q411438) (← links)
• Multiset variable representations and constraint propagation (Q481702) (← links)
• A constraint propagation approach to structural model based image segmentation and recognition (Q497274) (← links)
• Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
• Cardinal: a finite sets constraint solver (Q879977) (← links)
• Local consistency for extended CSPs (Q1035707) (← links)
• Solving Kirkman's schoolgirl problem in a few seconds (Q1774517) (← links)
• Symmetry breaking revisited (Q1774518) (← links)
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (Q2043801) (← links)
• Global domain views for expressive and cross-domain constraint programming (Q2152270) (← links)
• Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
• Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
• Generic incremental algorithms for local search (Q2385177) (← links)
• Enhancing set constraint solvers with lexicographic bounds (Q2476614) (← links)
• ECLⁱPS^e – From LP to CLP (Q2893096) (← links)
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP (Q3183129) (← links)
• Lazy Constraint Imposing for Improving the Path Constraint (Q5170285) (← links)