Marijn Heule 2026-10-14
View more
Figure 1.
Portrait of Marijn Heule
. Portrait identified on the Carnegie Mellon University profile.
Read the full article
Mycielski graphs and PR proofs by Emre Yolcu and others 2026-10-14
View more
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.
Cited passages: §4.1, Proposition 1 and proof, manuscript pp. 6–7; §4.1, manuscript pp. 5–6, construction steps 1–3.
Read the full article