Pages that link to "Item:Q1396814"
From MaRDI portal
The following pages link to Pruning by isomorphism in branch-and-cut (Q1396814):
Displaying 11 items.
- Orbitopal fixing (Q408377) (← links)
- Using symmetry to optimize over the Sherali-Adams relaxation (Q482114) (← links)
- Stabilizer-based symmetry breaking constraints for mathematical programs (Q486387) (← links)
- Exact algorithms for the solution of the grey pattern quadratic assignment problem (Q494699) (← links)
- A supernodal formulation of vertex colouring with applications in course timetabling (Q610967) (← links)
- Orbital branching (Q623461) (← links)
- Reformulations in mathematical programming: automatic symmetry detection and exploitation (Q662305) (← links)
- The maximum \(k\)-colorable subgraph problem and orbitopes (Q666000) (← links)
- Exploiting symmetries in mathematical programming via orbital independence (Q829174) (← links)
- In situ column generation for a cutting-stock problem (Q868997) (← links)
- SYMMETRIES IN MODAL LOGICS (Q5346685) (← links)