Mycielski graphs and PR proofs by Emre Yolcu and others (2020, 10.1007/978-3-030-51825-7_15)

By Emre Yolcu, Xinyu Wu, Marijn Heule.

In Theory and Applications of Satisfiability Testing – SAT 2020, Lecture Notes in Computer Science 12178, pp. 201–217.

Publisher: Springer.

Published in 23rd Conference on Theory and Applications of Satisfiability Testing, SAT 2020.

Online text: emreyolcu.com/research/mycielski-graphs-pr-proofs.pdf

Cited passages: §4.1, Proposition 1 and proof, manuscript pp. 6–7; §4.1, manuscript pp. 5–6, construction steps 1–3.