Obserwuj
Alexander Ivrii
Alexander Ivrii
Zweryfikowany adres z il.ibm.com
Tytuł
Cytowane przez
Cytowane przez
Rok
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
842016
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
762016
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
762011
Lagrangian isotopy of tori in and
G Dimitroglou Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26, 1297-1358, 2016
542016
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
342015
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
322017
Pushing to the top
A Ivrii, A Gurfinkel
2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015
302015
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
282013
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
272012
Pushing to the Top.
A Gurfinkel, A Ivrii
FMCAD, 65-72, 2015
262015
K-induction without unrolling
A Gurfinkel, A Ivrii
2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017
252017
Explaining partially illegal combinations in combinatorial models
A Ivrii, I Segall, R Tzoref-Brill
US Patent 9,454,466, 2016
162016
Lagrangian isotopy of tori in S2× S2 and CP2
G Dimitroglou Rizell, E Goodman, A Ivrii
Geom. Funct. Anal 26 (5), 1297-1358, 2016
142016
Small inductive safe invariants
A Ivrii, A Gurfinkel, A Belov
2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014
142014
Lagrangian unknottedness of tori in certain symplectic 4-manifolds
A Ivrii
Stanford University, 2003
132003
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
122016
Incremental formal verification
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
US Patent 8,996,339, 2015
122015
IC3-guided abstraction
J Baumgartner, A Ivrii, A Matsliah, H Mony
2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012
122012
Ruled 4-manifolds and isotopies of symplectic surfaces
R Hind, A Ivrii
Mathematische Zeitschrift 265, 639-652, 2010
122010
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
112017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20