You're trying to claim International Conference on Theory and Applications of Satisfiability Testing