Zhang, L., & Malik, S. (2003, March 3). Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. Design, Automation, and Test in Europe: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003, 10880. https://doi.org/10.5555/789083.1022835
Citace podle Chicago (17th ed.)Zhang, Lintao, a Sharad Malik. "Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications." Design, Automation, and Test in Europe: Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003 3 Mar. 2003: 10880. https://doi.org/10.5555/789083.1022835.
Citace podle MLA (9th ed.)Zhang, Lintao, a Sharad Malik. "Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications." Design, Automation, and Test in Europe: Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003, 3 Mar. 2003, p. 10880, https://doi.org/10.5555/789083.1022835.