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 Style (17th ed.) CitationSAT Austin, Tex, and 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 (9th ed.) CitationSAT Austin, Tex, and 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.
Warning: These citations may not always be 100% accurate.