Publications | Priyanka

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.

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.