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
Chicago-Zitierstil (17. Ausg.)Moskewicz, Matthew W., Conor F. Madigan, Ying Zhao, Lintao Zhang, und Sharad Malik. "Chaff: Engineering an Efficient SAT Solver." Design Automation, 2001 Proceedings Jan. 2001: 530-535. https://doi.org/10.1145/378239.379017.
MLA-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.