cvc5: A Versatile and Industrial-Strength SMT Solver. - Haniel Barbosa; Clark W. Barrett; Martin Brain; Gereon Kremer; Hanna Lachnitt; Makai Mann; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; et al. (TACAS (1), 2022)

Verifying SQL queries using theories of tables and relations. - Mudathir Mohamed; Andrew Reynolds 001; Cesare Tinelli; Clark W. Barrett (LPAR, 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers. - Mudathir Mohamed; Nick Feng; Andrew Reynolds 001; Cesare Tinelli; Clark W. Barrett; Marsha Chechik (CoRR, 2025)