Pages that link to "Item:Q1037637"
From MaRDI portal
The following pages link to On implementing symmetry detection (Q1037637):
Displaying 8 items.
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- Dominance breaking constraints (Q2342647) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Symmetry in Mathematical Programming (Q2897300) (← links)
- A Novel Approach For Detecting Symmetries in CSP Models (Q5387629) (← links)
- Automatic generation of dominance breaking nogoods for a class of constraint optimization problems (Q6080646) (← links)
