Seguir
Alexander Ivrii
Alexander Ivrii
Dirección de correo verificada de il.ibm.com
Título
Citado por
Citado por
Año
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
772016
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
772011
Lagrangian isotopy of tori in and
G Dimitroglou Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26, 1297-1358, 2016
592016
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
342017
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
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
292013
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
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
132016
Lagrangian unknottedness of tori in certain symplectic 4-manifolds
A Ivrii
Stanford University, 2003
132003
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20