Rao, H. (2026). CDCL is a Collapse Chain: A Formal Equivalence Between Conflict-Driven Clause Learning and Irreversible Uncertainty Reduction. Zenodo.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Rao, Huiying. CDCL Is a Collapse Chain: A Formal Equivalence Between Conflict-Driven Clause Learning and Irreversible Uncertainty Reduction. Zenodo, 2026.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Rao, Huiying. CDCL Is a Collapse Chain: A Formal Equivalence Between Conflict-Driven Clause Learning and Irreversible Uncertainty Reduction. Zenodo, 2026.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.