Alexander Ivrii
Alexander Ivrii
Unknown affiliation
Verified email at il.ibm.com
Title
Cited by
Cited by
Year
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
612011
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
492016
On computing minimal independent support and its applications to sampling and counting
A Ivrii, S Malik, KS Meel, MY Vardi
Constraints 21 (1), 41-58, 2016
442016
Lagrangian isotopy of tori in and CP2
GD Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26 (5), 1297-1358, 2016
362016
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
242012
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
232015
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
182012
Pushing to the top
A Ivrii, A Gurfinkel
2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015
172015
Pushing to the Top.
A Gurfinkel, A Ivrii
FMCAD, 65-72, 2015
162015
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
132017
Incremental formal verification
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
US Patent 8,996,339, 2015
112015
Method for purification of lens gases used in photolithography
D Alvarez Jr, JJ Spiegelman
US Patent 6,645,898, 2003
102003
Lagrangian unknottedness of tori in certain symplectic 4-manifolds.
A Ivrii
102003
IC3-guided abstraction
J Baumgartner, A Ivrii, A Matsliah, H Mony
2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012
92012
On efficient computation of variable MUSes
A Belov, A Ivrii, A Matsliah, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2012
92012
Ruled 4-manifolds and isotopies of symplectic surfaces
R Hind, A Ivrii
Mathematische Zeitschrift 265 (3), 639-652, 2010
92010
K-induction without unrolling
A Gurfinkel, A Ivrii
2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017
72017
Small inductive safe invariants
A Ivrii, A Gurfinkel, A Belov
2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014
72014
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
62017
Lagrangian isotopy of tori in $ S^ 2\times S^ 2$ and $\BbbCP^ 2$
G Dimitroglou Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26 (5), 1297-1358, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20