Browsing by Author Ivrii, A
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 |
| 15-Aug-2015 | On computing minimal independent support and its applications to sampling and counting | Ivrii, A; Malik, S; Meel, KS; Vardi, MY |