Moskewicz, M. W., Madigan, C. F., Zhao, Y., Zhang, L., & Malik, S. (2001, January). Chaff: Engineering an efficient SAT solver. Design Automation, 2001 Proceedings, 530-535. https://doi.org/10.1145/378239.379017
Citace podle Chicago (17th ed.)Moskewicz, Matthew W., Conor F. Madigan, Ying Zhao, Lintao Zhang, a Sharad Malik. "Chaff: Engineering an Efficient SAT Solver." Design Automation, 2001 Proceedings Jan. 2001: 530-535. https://doi.org/10.1145/378239.379017.
Citace podle MLA (9th ed.)Moskewicz, Matthew W., et al. "Chaff: Engineering an Efficient SAT Solver." Design Automation, 2001 Proceedings, Jan. 2001, pp. 530-535, https://doi.org/10.1145/378239.379017.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..