The following pages link to (Q5144655):
Displayed 5 items.
- Proof Complexity Meets Algebra (Q4617977) (← links)
- (Q4625692) (← links)
- Definable Inapproximability: New Challenges for Duplicator (Q5079727) (← links)
- On the Weisfeiler-Leman dimension of fractional packing (Q5918531) (← links)
- Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem (Q6081762) (← links)