Citace podle 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

Citace 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.

Citace podle MLA (9th 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..