Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Abtin Molavi
conf.researchr.org general profile
ESEC/FSE 2020 profile
Registered user since Tue 18 Jan 2022
Name:
Abtin Molavi
Affiliation:
Harvey Mudd College, USA
Contributions
2020
ESEC/FSE
Panelist of Conversations on SAT and Synthesis within the Paper Presentations-track
Author of MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays within the Tool Demos-track
Share
x
Sat 2 Nov 00:57