Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers