Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings - Creignou, Nadia; Le Berre, Daniel (Springer International Publishing : Imprint: Springer, 2016)