Get started
Author

Mudathir Mohamed

Observed names: Mohamed, Mudathir, Mohamed, Mudathir Mahgoub Yahia, Mudathir Mahgoub Yahia Mohamed
Institution: University of Iowa
Observed institution: University of Iowa
ORCID: 0000-0002-4644-5756
Observed ORCID: 0000-0002-4644-5756
OpenAlex ID: A5062338475
cvc5: A Versatile and Industrial-Strength SMT Solver
2022 · Haniel Barbosa, Clark Barrett, et al. · Lecture notes in computer science · 470
PDF
Verifying SQL queries using theories of tables and relations
2024 · Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, et al. · EPiC series in computing · 1
PDF
Solving LIA⋆ Constraints Using Hilbert Bases
2026 · Mohamed, Mudathir, Reynolds, Andrew, et al. · reposiTUm (TU Wien)
PDF
Benchmarks for Solving LIA⋆ Constraints Using Hilbert Bases
2026 · Mohamed, Mudathir Mahgoub Yahia, Reynolds, Andrew, et al. · Zenodo (CERN European Organization for Nuclear Research)
cvc5 for SMT-COMP 2026
2026 · Barbosa, Haniel, Barrett, Clark, et al. · Zenodo (CERN European Organization for Nuclear Research)
Solving Set Constraints with Comprehensions and Bounded Quantifiers
2025 · Mohamed, Mudathir, Feng, Nick, et al. · arXiv (Cornell University)
PDF
Works count: 13
Citation count: 472
H-index: 1
I10-index: 1
Year
Topic
Type