APA citiranje

Hoos, H. H., & Mitchell, D. G. (2020). Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

MLA citiranje

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.