Pages that link to "Item:Q3523071"
From MaRDI portal
The following pages link to Breaking Symmetry of Interchangeable Variables and Values (Q3523071):
Displaying 10 items.
- Variable symmetry breaking in numerical constraint problems (Q900305) (← links)
- Minimal ordering constraints for some families of variable symmetries (Q976995) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Towards breaking more composition symmetries in partial symmetry breaking (Q1677433) (← links)
- Excluding symmetries in constraint-based search (Q1871971) (← 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)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900305) (← links)