Pages that link to "Item:Q5387629"
From MaRDI portal
The following pages link to A Novel Approach For Detecting Symmetries in CSP Models (Q5387629):
Displayed 7 items.
- Pairwise symmetry reasoning for multi-agent path finding search (Q2060696) (← links)
- Lifting symmetry breaking constraints with inductive logic programming (Q2163186) (← links)
- Lightweight dynamic symmetry breaking (Q2342593) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Symmetry in Mathematical Programming (Q2897300) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)