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 . : .

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". : , 2015. Text.