Alexander Ivrii
Author
Alternate names Alexander Ivrii, A. Ivrii
Institution IBM Research - Haifa
Past institutions IBM Research - Haifa, King's College London, Cornell University, University of Haifa, IBM (United States) +1 more
H-index: 13
I10-index: 17
Works count: 42
Citations count: 784
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence
2014 · Gadi Aleksandrowicz, Hana Chockler, et al.
On computing minimal independent support and its applications to sampling and counting
2015 · Alexander Ivrii, Sharad Malik, et al. · Constraints
Incremental formal verification of hardware
2011 · Hana Chockler, Alexander Ivrii, et al. · Formal Methods in Computer-Aided Design