Theory and Applications of Satisfiability Testing – SAT 2013

MLA

Jarvisalo, Matti; Gelder, Allen, and Allen Van Gelder. Theory and Applications of Satisfiability Testing – Sat 2013. Springer Berlin Heidelberg, 2013.

APA

Jarvisalo, A., & Van Gelder, A. (2013). Theory and Applications of Satisfiability Testing – SAT 2013. Springer Berlin Heidelberg.

Chicago

Jarvisalo, Matti; Gelder, Allen, and Allen Van Gelder. Theory and Applications of Satisfiability Testing – SAT 2013. : Springer Berlin Heidelberg, 2013.