Barrett, C., Chen, P.-W., Cook, B., Dutertre, B., Jones, R. B., Le, N., Reynolds, A., Sheth, K., Stephens, C., & Whalen, M. W. (2024). SMT-D: New Strategies for Portfolio-Based SMT Solving. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 39–48). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_10