Manthan: A Data-Driven Approach for Boolean Function Synthesis

von Golia, Priyanka
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

A Scalable Shannon Entropy Estimator

von Golia, Priyanka
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)