Theory and Applications of Satisfiability Testing – SAT 2018

MLA

Beyersdorff, Christoph M. Wintersteiger, and Christoph M Wintersteiger. Theory and Applications of Satisfiability Testing – Sat 2018. Springer International Publishing, 2018.

APA

Beyersdorff, B., Christoph M. Wintersteiger, C. M. Wintersteiger, & Wintersteiger, C. M. (2018). Theory and Applications of Satisfiability Testing – SAT 2018. Springer International Publishing.

Chicago

Beyersdorff, Christoph M. Wintersteiger, and Christoph M Wintersteiger. Theory and Applications of Satisfiability Testing – SAT 2018. : Springer International Publishing, 2018.