Mycielski Graphs and PR Proofs.

Emre Yolcu, Xinyu Wu, Marijn J. H. Heule

Browse the full SAT paper archive.