SpringerLink (Online service), Sakallah, K. A., & Simon, L. (2011). Theory and applications of satisfiability testing - SAT 2011: 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-21581-0
Cita Chicago (17th ed.)SpringerLink (Online service), Karem A. Sakallah, i Laurent Simon. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-21581-0.
Cita MLA (9th ed.)SpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-21581-0.