Pages that link to "Item:Q5889793"

The following pages link to Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes (Q5889793):

Displaying 2 items.

• On semantic cutting planes with very small coefficients (Q1751424) (← links)
• Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes (Q5889793) (← links)