The following pages link to (Q4475673):
Displaying 6 items.
- Redundant modeling in permutation weighted constraint satisfaction problems (Q606896) (← links)
- Posets and permutations in the duplication-loss model: minimal permutations with \(d\) descents (Q974742) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Permutation Problems and Channelling Constraints (Q2996177) (← links)
