The following pages link to (Q4883383):
Displayed 4 items.
- Symmetry-breaking constraints for packing identical rectangles within polyhedra (Q1940443) (← links)
- Robust equilibrium in transportation networks (Q2198290) (← links)
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)