Login / Signup
Abdalrhman Mohamed
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Multiscale
Learning Classifier Systems
Rule Discovery
Contrast Set Mining
Top Venues
TACAS (1)
FMCAD
</>
Publications
</>
Abdalrhman Mohamed
,
Andrew Reynolds
,
Clark W. Barrett
,
Cesare Tinelli
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.
FMCAD
(2023)
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
cvc5: A Versatile and Industrial-Strength SMT Solver.
TACAS (1)
(2022)