Cite
Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.
MLA
Heule, Marijn.editor., et al. Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Edited by Marijn Heule, Sean Weaver. 2015. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1154415359&authtype=sso&custid=ns315887.
APA
Heule, M. editor., Weaver, S. editor., & SpringerLink (Online service). (2015). Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.
Chicago
Heule, Marijn. editor., Sean. editor. Weaver, and SpringerLink (Online service). 2015. “Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Edited by Marijn Heule, Sean Weaver.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1154415359&authtype=sso&custid=ns315887.