14th International Conference on Theory and Applications of Satisfiability Testing (SAT) Conference