Citáce podľa APA (7th ed.)

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

Citácia podle Chicago (17th ed.)

Zhang, Lintao, a 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.

Citácia podľa MLA (8th ed.)

Zhang, Lintao, a 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.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..