Manthan: A data-driven approach for Boolean function synthesis P Golia, S Roy, KS Meel International Conference on Computer Aided Verification, 611-633, 2020 | 44 | 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 | 24 | 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 | 16 | 2021 |
Program synthesis as dependency quantified formula modulo theory P Golia, S Roy, KS Meel arXiv preprint arXiv:2105.09221, 2021 | 10 | 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 | | |