Pages that link to "Item:Q850448"
From MaRDI portal
The following pages link to Reformulation of global constraints based on constraints checkers (Q850448):
Displayed 7 items.
- Using finite transducers for describing and synthesising structural time-series constraints (Q265697) (← links)
- Tractability-preserving transformations of global cost functions (Q309935) (← links)
- Invariants for time-series constraints (Q823762) (← links)
- Global constraint catalogue: past, present and future (Q879974) (← links)
- When bounds consistency implies domain consistency for regular counting constraints (Q2079264) (← links)
- Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)