Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Regular resolution effectively simulates resolution
Sam Buss, Emre Yolcu
Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist…
cs.LO2024
Lower bounds for set-blocked clauses proofs
Emre Yolcu
We study propositional proof systems with inference rules that formalize restricted versions of the ability to make assumptions that hold without loss of generality, commonly used…