On computing minimal independent support and its applications to sampling and counting A Ivrii, S Malik, KS Meel, MY Vardi
Constraints 21, 41-58, 2016
84 2016 Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
Workshops at the thirtieth AAAI conference on artificial intelligence, 2016
76 2016 Incremental formal verification of hardware H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011
76 2011 Lagrangian isotopy of tori in and G Dimitroglou Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26, 1297-1358, 2016
55 2016 Reducing color conflicts in triple patterning lithography MS Gray, MT Guzowski, A Ivrii, LW Liebmann, KW McCullen, GE Tellez, ...
US Patent 9,158,885, 2015
34 2015 The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
33 2017 Pushing to the top A Ivrii, A Gurfinkel
2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015
30 2015 Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
29 2013 Perfect hashing and CNF encodings of cardinality constraints Y Ben-Haim, A Ivrii, O Margalit, A Matsliah
International Conference on Theory and Applications of Satisfiability …, 2012
27 2012 Pushing to the Top. A Gurfinkel, A Ivrii
FMCAD, 65-72, 2015
26 2015 K-induction without unrolling A Gurfinkel, A Ivrii
2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017
25 2017 Explaining partially illegal combinations in combinatorial models A Ivrii, I Segall, R Tzoref-Brill
US Patent 9,454,466, 2016
16 2016 Lagrangian isotopy of tori in S2× S2 and CP2 G Dimitroglou Rizell, E Goodman, A Ivrii
Geom. Funct. Anal 26 (5), 1297-1358, 2016
14 2016 Small inductive safe invariants A Ivrii, A Gurfinkel, A Belov
2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014
14 2014 The art of semi-formal bug hunting PK Nalla, RK Gajavelly, J Baumgartner, H Mony, R Kanzelman, A Ivrii
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
13 2016 Lagrangian unknottedness of tori in certain symplectic 4-manifolds A Ivrii
Stanford University, 2003
13 2003 Incremental formal verification H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
US Patent 8,996,339, 2015
12 2015 IC3-guided abstraction J Baumgartner, A Ivrii, A Matsliah, H Mony
2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012
12 2012 Ruled 4-manifolds and isotopies of symplectic surfaces R Hind, A Ivrii
Mathematische Zeitschrift 265, 639-652, 2010
12 2010 Learning support sets in IC3 and Quip: The good, the bad, and the ugly R Berryhill, A Ivrii, N Veira, A Veneris
2017 Formal Methods in Computer Aided Design (FMCAD), 140-147, 2017
11 2017