author-photo

Shubham Goel

University of California, Berkeley

1

Papers

3

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

Boolean functional synthesis: hardness and practical algorithms

2020 Formal Methods in System Design
Show All
- Source
- Cite
- Save
Citations (3)