APA (7th ed.) Citation

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 Style (17th ed.) Citation

Moskewicz, Matthew W., Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik. "Chaff: Engineering an Efficient SAT Solver." Design Automation, 2001 Proceedings Jan. 2001: 530-535. https://doi.org/10.1145/378239.379017.

MLA (9th ed.) Citation

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.