Tohutoro APA (7th ed.)
João Marques-Silva, K. A. S. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings. Springer.
Tohutoru Kātū Chicago (17th ed.)
João Marques-Silva, Karem A. Sakallah. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings. Berlín, Alemania: Springer.
Tohutoro MLA (9th ed.)
João Marques-Silva, Karem A. Sakallah. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings. Springer.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.