Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing