Yin, J., Song, Z., Chen, C., Hu, Q., & Yu, C. (2025, June 22). BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11132728
Citácia podle Chicago (17th ed.)Yin, Jiaqi, Zhan Song, Chen Chen, Qihao Hu, a Cunxi Yu. "BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11132728.
Citácia podľa MLA (8th ed.)Yin, Jiaqi, et al. "BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11132728.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..