QCDCL with Cube Learning or Pure Literal Elimination - What is Best?

Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff