Pages that link to "Item:Q679421"
From MaRDI portal
The following pages link to Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421):
Displayed 7 items.
- Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
- Cardinal: a finite sets constraint solver (Q879977) (← links)
- Solving Kirkman's schoolgirl problem in a few seconds (Q1774517) (← links)
- Symmetry breaking revisited (Q1774518) (← links)
- Generic incremental algorithms for local search (Q2385177) (← links)
- Enhancing set constraint solvers with lexicographic bounds (Q2476614) (← links)
- Combining Two Structured Domains for Modeling Various Graph Matching Problems (Q5302726) (← links)