Shi, Z., Tang, T., Zhu, J., Khan, S., Zhen, H., Yuan, M., . . . Xu, Q. (2025, June 22). Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11133310
Chicago-Zitierstil (17. Ausg.)Shi, Zhengyuan, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, und Qiang Xu. "Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11133310.
MLA-Zitierstil (9. Ausg.)Shi, Zhengyuan, et al. "Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11133310.