Pages that link to "Item:Q5897217"
From MaRDI portal
The following pages link to Principles and Practice of Constraint Programming – CP 2003 (Q5897217):
Displaying 8 items.
- Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- Symmetry breaking revisited (Q1774518) (← links)
- Pairwise symmetry reasoning for multi-agent path finding search (Q2060696) (← links)
- Lightweight dynamic symmetry breaking (Q2342593) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- Design of financial CDO squared transactions using constraint programming (Q2454813) (← links)
- SAT modulo symmetries for graph generation and enumeration (Q6610196) (← links)
