Theory and Applications of Satisfiability Testing – SAT 2016

MLA

Nadia Creignou, Daniel Le Berre, and Daniel Le Berre. Theory and Applications of Satisfiability Testing – Sat 2016. Springer International Publishing, 2016.

APA

Nadia Creignou, D. Le Berre, & Le Berre, D. (2016). Theory and Applications of Satisfiability Testing – SAT 2016. Springer International Publishing.

Chicago

Nadia Creignou, Daniel Le Berre, and Daniel Le Berre. Theory and Applications of Satisfiability Testing – SAT 2016. : Springer International Publishing, 2016.