FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Simulations Between Proof Systems

Nikita Gaevoy

QCDCL with Cube Learning or Pure Literal Elimination – What Is Best?

Benjamin Böhm, Tomáš Peitl and Olaf Beyersdorff
Total: 2 presentations.