APA-Zitierstil (7. Ausg.)

SAT Austin, Tex, & Heule, M. J. H. (2015). Theory and applications of satisfiability testing - SAT 2015: 18th international conference, Austin, TX, USA, September 24 - 27, 2015 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

SAT Austin, Tex, und Marijn J. H. Heule. Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24 - 27, 2015 ; Proceedings. Cham [u.a.]: Springer, 2015.

MLA-Zitierstil (9. Ausg.)

SAT Austin, Tex, und Marijn J. H. Heule. Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24 - 27, 2015 ; Proceedings. Springer, 2015.