SAT Melbourne, Gaspers, S., & Walsh, T. (2017). Theory and applications of satisfiability testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-66263-3
Chicago-Zitierstil (17. Ausg.)SAT Melbourne, Serge Gaspers, und Toby Walsh. Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-66263-3.
MLA-Zitierstil (9. Ausg.)SAT Melbourne, et al. Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-66263-3.