Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings