Login / Signup
Marcelo F. Frias
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 40
Top Topics
Brute Force
Constraint Relaxation
Model Counting
Data Structure
Top Venues
CoRR
ICSE
ASE
FASE
</>
Publications
</>