Keyword:linear resolution

Papers
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint no. 9423