Pages that link to "Item:Q693047"
From MaRDI portal
The following pages link to Cutting planes and the parameter cutwidth (Q693047):
Displaying 6 items.
- Shallow, deep and very deep cuts in the analytic center cutting plane method. (Q1572672) (← links)
- Cutting plane and Frege proofs (Q1898117) (← links)
- On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations (Q2095546) (← links)
- Achieving consistency with cutting planes (Q2687054) (← links)
- CUTTING PLANE WITH NON-UNIFORM DISTRIBUTIONS (Q5215104) (← links)
- Cutting planes width and the complexity of graph isomorphism refutations (Q6636618) (← links)