Theory and Applications of Satisfiability Testing – SAT 2016 - Nadia Creignou, Daniel Le Berre (Springer International Publishing, 2016)