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