APA (7th ed.) Citation

Zhang, L., & Malik, S. (2002, November 10). Conflict driven learning in a quantified Boolean Satisfiability solver. Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 442-449. https://doi.org/10.1145/774572.774637

Chicago Style (17th ed.) Citation

Zhang, Lintao, and Sharad Malik. "Conflict Driven Learning in a Quantified Boolean Satisfiability Solver." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design 10 Nov. 2002: 442-449. https://doi.org/10.1145/774572.774637.

MLA (9th ed.) Citation

Zhang, Lintao, and Sharad Malik. "Conflict Driven Learning in a Quantified Boolean Satisfiability Solver." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design, 10 Nov. 2002, pp. 442-449, https://doi.org/10.1145/774572.774637.