Qian, Y., Chen, Z., Zhang, X., & Cai, S. (2025, June 22). X-SAT: An Efficient Circuit-Based SAT Solver. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11132604
Citace podle Chicago (17th ed.)Qian, Yuhang, Zhihan Chen, Xindi Zhang, a Shaowei Cai. "X-SAT: An Efficient Circuit-Based SAT Solver." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11132604.
Citace podle MLA (9th ed.)Qian, Yuhang, et al. "X-SAT: An Efficient Circuit-Based SAT Solver." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11132604.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..