Cita APA (7a ed.)

Shi, Z., Tang, T., Zhu, J., Khan, S., Zhen, H., Yuan, M., . . . Xu, Q. (2024). Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.

Cita Chicago Style (17a ed.)

Shi, Zhengyuan, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, y Qiang Xu. Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. 2024.

Cita MLA (9a ed.)

Shi, Zhengyuan, et al. Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. 2024.