Priyanka
Priyanka
Home
Publications
Software
Contact
Light
Dark
Automatic
Publications
Type
Uncategorized
Conference paper
Date
2020
Priyanka Golia
,
Subhajit Roy
,
Kuldeep S. Meel
.
Manthan: A Data-Driven Approach for Boolean Function Synthesis
. 32nd International Conference on Computer-Aided Verification, CAV, 2020.
PDF
Cite
Slides
Video
Priyanka Golia
,
Subhajit Roy
,
Kuldeep S. Meel
.
A Data-Driven Approach for Skolem Function Synthesis
. LiVe 2020: 4th Workshop on Learning in Verification, ETPAS, 2020.
PDF
Cite
×