Pages that link to "Item:Q5897217"
From MaRDI portal
The following pages link to Principles and Practice of Constraint Programming – CP 2003 (Q5897217):
Displaying 13 items.
- Stabilizer-based symmetry breaking constraints for mathematical programs (Q486387) (← links)
- Symmetry-breaking under small perturbations (Q583466) (← links)
- Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
- Symmetry breaking inequalities from the Schreier-Sims table (Q1626777) (← 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)
- Generating effective symmetry-breaking predicates for search problems (Q2643299) (← links)
- Self-Stabilizing Symmetry Breaking in Constant Space (Q3149884) (← links)
- SAT modulo symmetries for graph generation and enumeration (Q6610196) (← links)