Loading...
Loading...

Go to the content (press return)

Exponential Separations between Restricted Resolution and Cutting Planes proof systems

Author
Bonet, M.; Galesi, N.; Esteban, J. L.
Type of activity
Journal article
Journal
Electronic colloquium on computational complexity
Date of publication
1998-06
Number
TR98-035
First page
1
Last page
15
Group of research
LOGPROG - Logic and Programming

Participants