Pages that link to "Item:Q2398438"
From MaRDI portal
The following pages link to Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (Q2398438):
Displaying 6 items.
- Optimal-depth sorting networks (Q340576) (← links)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs (Q2152271) (← links)
- Constraints for symmetry breaking in graph representation (Q2331101) (← links)
- New directions in Ramsey theory (Q5862701) (← links)