Buss, S., Chung, J., Ganesh, V., & Oliveras, A. (2024). Extended Resolution Clause Learning via Dual Implication Points.
Chicago Style (17th ed.) CitationBuss, Sam, Jonathan Chung, Vijay Ganesh, and Albert Oliveras. Extended Resolution Clause Learning via Dual Implication Points. 2024.
MLA (9th ed.) CitationBuss, Sam, et al. Extended Resolution Clause Learning via Dual Implication Points. 2024.
Warning: These citations may not always be 100% accurate.