Hakoniemi, T., Limaye, N., & Tzameret, I. (2026). Hard CNF Instances for Ideal Proof Systems.
Chicago-Zitierstil (17. Ausg.)Hakoniemi, Tuomas, Nutan Limaye, und Iddo Tzameret. Hard CNF Instances for Ideal Proof Systems. 2026.
MLA-Zitierstil (9. Ausg.)Hakoniemi, Tuomas, et al. Hard CNF Instances for Ideal Proof Systems. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.