Extensions to Theories of Relations and Tables in SMT - Mohamed, Mudathir (ProQuest Dissertations and Theses, 2025)