Sinz, C. (2014). Theory and applications of satisfiability testing - SAT 2014: 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings. Springer. https://doi.org/10.1007/978-3-319-09284-3
Chicago-Zitierstil (17. Ausg.)Sinz, Carsten. Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; Proceedings. Cham [u.a.]: Springer, 2014. https://doi.org/10.1007/978-3-319-09284-3.
MLA-Zitierstil (9. Ausg.)Sinz, Carsten. Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; Proceedings. Springer, 2014. https://doi.org/10.1007/978-3-319-09284-3.