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-Zitierstil (17. Ausg.)Zhang, Lintao, und 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-Zitierstil (9. Ausg.)Zhang, Lintao, und 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.