| Manthan: A data-driven approach for Boolean function synthesis P Golia, S Roy, KS Meel International Conference on Computer Aided Verification, 611-633, 2020 | 43 | 2020 |
| 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 | 23 | 2021 |
| 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 | 14 | 2021 |
| Program synthesis as dependency quantified formula modulo theory P Golia, S Roy, KS Meel arXiv preprint arXiv:2105.09221, 2021 | 9 | 2021 |
| A scalable Shannon entropy estimator P Golia, B Juba, KS Meel International Conference on Computer Aided Verification, 363-384, 2022 | 3 | 2022 |
| On quantitative testing of samplers M Soos, P Golia, S Chakraborty, KS Meel 28th International Conference on Principles and Practice of Constraint …, 2022 | 3 | 2022 |
| Synthesis with explicit dependencies P Golia, S Roy, KS Meel 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | 1 | 2023 |
| FUNCTIONAL SYNTHESIS VIA FORMAL METHODS AND MACHINE LEARNING P GOLIA | | 2023 |
| Andraus, Zaher Asadi, Sepideh Barrett, Clark Becchi, Anna A Biere, M Blicha, T Bourgeat, K Britikov, F Cano, R De Masellis, ... | | |
| Asadi, Sepideh Athanasiou, Konstantinos Bansal, Suguman Barnett, Lee J Bendı́k, M Blicha, D Bustan, F Cano, M Chalupa, K Cheang, H Chen, ... | | |
| A Data Driven Approach for Skolem Function Synthesis P Golia, KS Meel, S Roy | | |
Kuldeep S. MeelAssociate Professor, University of TorontoDirección de correo verificada de cs.toronto.edu
