Pages that link to "Item:Q5941314"
From MaRDI portal
The following pages link to Exploiting symmetries within constraint satisfaction search (Q5941314):
Displaying 11 items.
- Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
- Symmetry definitions for constraint satisfaction problems (Q850464) (← links)
- Variable symmetry breaking in numerical constraint problems (Q900305) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- Symmetry breaking revisited (Q1774518) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Constraints for symmetry breaking in graph representation (Q2331101) (← links)
- Memetic collaborative approaches for finding balanced incomplete block designs (Q2337377) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- The Relation Between Complete and Incomplete Search (Q2950519) (← links)
