= Mycielski graphs and PR proofs by Emre Yolcu and others
{c}
{tag=Work by Emre Yolcu}
{tag=Work by Xinyu Wu}
{tag=Work by Marijn Heule}
{title2=2020}
{title2=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: https://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.
Back to article page
