Keyword:clause splitting

Papers
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint no. 9423
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint no. 5855