Pages that link to "Item:Q850448"
From MaRDI portal
The following pages link to Reformulation of global constraints based on constraints checkers (Q850448):
Displaying 11 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)
- On the reification of global constraints (Q2342583) (← links)
- Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- Formulating global integrity constraints during derivation of global schema (Q3122517) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900288) (← links)
- Constraint reasoning (Q6602253) (← links)