APA Style

HEULE, M., WEAVER, , S. (2015). Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings . : Springer Cham.

MLA Style

HEULE, Marijn., WEAVER, , Sean. "Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings". : Springer Cham, 2015. Text.