Pages that link to "Item:Q5464702"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464702):
Displaying 7 items.
- Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
- Static and dynamic structural symmetry breaking (Q976989) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Towards breaking more composition symmetries in partial symmetry breaking (Q1677433) (← links)
- (Q4475703) (← links)
- A Novel Approach For Detecting Symmetries in CSP Models (Q5387629) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897206) (← links)