Pages that link to "Item:Q1037637"
From MaRDI portal
The following pages link to On implementing symmetry detection (Q1037637):
Displaying 13 items.
- Algorithmic symmetry classification with invariance (Q976792) (← links)
- Detecting symmetries by branch and cut. (Q1424304) (← links)
- \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)
- Detection of symmetry or lack of 11 and applications (Q3473194) (← links)
- A scheme for symmetrization verification (Q4911695) (← links)
- Graph Drawing (Q5193179) (← 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)