Parameterized Proof Complexity
(2011)
Journal Article
All Outputs (2)
The limits of tractability in Resolution-based propositional proof systems (2011)
Journal Article
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, Res(k). We prove that any first-order sentence with no finite models t... Read More about The limits of tractability in Resolution-based propositional proof systems.