Zhang, Y., Zhen, H., Yuan, M., & Yu, B. (2024, October 27). DiffSAT: Differential MaxSAT Layer for SAT Solving. Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 1-7. https://doi.org/10.1145/3676536.3676748
Citace podle Chicago (17th ed.)Zhang, Yu, Hui-Ling Zhen, Mingxuan Yuan, a Bei Yu. "DiffSAT: Differential MaxSAT Layer for SAT Solving." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design 27 Oct. 2024: 1-7. https://doi.org/10.1145/3676536.3676748.
Citace podle MLA (9th ed.)Zhang, Yu, et al. "DiffSAT: Differential MaxSAT Layer for SAT Solving." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design, 27 Oct. 2024, pp. 1-7, https://doi.org/10.1145/3676536.3676748.