16 search results - page 1 / 4 » Resolution and the Weak Pigeonhole Principle |
85
Voted
STOC
2001
ACM
16 years 27 days ago
2001
ACM
97
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
79
Voted
STOC
2002
ACM
16 years 27 days ago
2002
ACM
We prove that any Resolution proof for the weak pigeon hole principle, with n holes and any number of pigeons, is of length (2n ), (for some global constant > 0).
CSL
1997
Springer
15 years 4 months ago
1997
Springer
IANDC
2002
15 years 11 days ago
2002