Seguir
Priyanka Golia
Priyanka Golia
Joint Ph.D. candidate with Indian Institute of Technology, Kanpur,India, and National University of
Dirección de correo verificada de cse.iitk.ac.in - Página principal
Título
Citado por
Citado por
Año
Manthan: A data-driven approach for Boolean function synthesis
P Golia, S Roy, KS Meel
International Conference on Computer Aided Verification, 611-633, 2020
142020
Designing samplers is easy: The boon of testers
P Golia, M Soos, S Chakraborty, KS Meel
2021 Formal Methods in Computer Aided Design (FMCAD), 222-230, 2021
32021
Engineering an efficient Boolean functional synthesis engine
P Golia, F Slivovsky, S Roy, KS Meel
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021
2021
Program Synthesis as Dependency Quantified Formula Modulo Theory
P Golia, S Roy, KS Meel
arXiv preprint arXiv:2105.09221, 2021
2021
Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees
P Bisht, P Golia, R Numbers
2018
Primal-Dual Approximation for Integral Flow and Multicut in Trees
P Bisht, P Golia
2018
A Scalable Shannon Entropy Estimator
P Golia, B Juba, KS Meel
On Quantitative Testing of Samplers
M Soos, P Golia, S Chakraborty, KS Meel
A Data Driven Approach for Skolem Function Synthesis
P Golia, KS Meel, S Roy
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9