Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
ACM Digital Library