Pages that link to "Item:Q3523071"
From MaRDI portal
The following pages link to Breaking Symmetry of Interchangeable Variables and Values (Q3523071):
Displayed 6 items.
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Towards breaking more composition symmetries in partial symmetry breaking (Q1677433) (← links)
- Lightweight dynamic symmetry breaking (Q2342593) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Parameterized Complexity Results in Symmetry Breaking (Q3058684) (← links)