Sciweavers

Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems
Recent Google, Yahoo, MSN search queries leading to this post
Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems
Data is not available yet.