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
Citace podle Chicago (17th ed.)Shi, Zhengyuan, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, a 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.
Citace podle MLA (9th ed.)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.