Pages that link to "Item:Q850460"
From MaRDI portal
The following pages link to Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460):
Displaying 12 items.
- Multicriteria models for planning power-networking events (Q992580) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Towards breaking more composition symmetries in partial symmetry breaking (Q1677433) (← links)
- Pairwise symmetry reasoning for multi-agent path finding search (Q2060696) (← links)
- Constraint models for graceful graphs (Q2267806) (← links)
- Lightweight dynamic symmetry breaking (Q2342593) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Breaking Symmetry of Interchangeable Variables and Values (Q3523071) (← links)
- Symmetry and Satisfiability: An Update (Q4930583) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- Symmetry Breaking for Maximum Satisfiability (Q5505539) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900305) (← links)