Browsing by Author Chakraborty, S
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 29-Mar-2016 | Constrained sampling and counting: Universal hashing meets SAT solving | Meel, KS; Vardi, MY; Chakraborty, S; Fremont, DJ; Seshia, SA; et al |
| 2018 | Multitrack Power Factor Correction Architecture | Chen, M; Chakraborty, S; Perreault, DJ |