APA (7th ed.) Citation

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 Style (17th ed.) Citation

Zhang, Lintao, and 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 (9th ed.) Citation

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