Oliveria, M. d. O., & Urmian, S. (2026). TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Oliveria, Mateus de Oliveira, und Sam Urmian. TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving. 2026.
MLA-Zitierstil (9. Ausg.)Oliveria, Mateus de Oliveira, und Sam Urmian. TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.