Relativization makes contradictions harder for Resolution
(2013)
Journal Article
We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d), as well as their tree-like versions, Res∗(d). The contradictions we use are natural combinatorial principles:... Read More about Relativization makes contradictions harder for Resolution.