Abdalrhman Mohamed

According to our database, Abdalrhman Mohamed authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.

Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

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, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022