Alexander Ivrii

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 14

Top Topics

Boolean Satisfiability

Interesting Events

Top Venues

Haifa Verification Conference

Publications

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel
IC3 with Internal Signals. FMCAD (2021)
Alexander Ivrii, Ofer Strichman
Exploiting Isomorphic Subgraphs in SAT (Long version). CoRR (2021)
Alexander Ivrii, Ofer Strichman
Exploiting Isomorphic Subgraphs in SAT. FMCAD (2021)
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. DAC (2020)
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. FMCAD (2019)
Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. FMCAD (2019)
Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris
Finding All Minimal Safe Inductive Sets. SAT (2018)
Alexander Ivrii, Ziv Nevo, Jason Baumgartner
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. FMCAD (2018)
Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris
Learning support sets in IC3 and Quip: The good, the bad, and the ugly. FMCAD (2017)
Arie Gurfinkel, Alexander Ivrii
K-induction without unrolling. FMCAD (2017)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58 (2017)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi
On computing minimal independent support and its applications to sampling and counting. Constraints An Int. J. 21 (1) (2016)
Valeriy Balabanov, Alexander Ivrii
Speeding up MUS Extraction with Preprocessing and Chunking. SAT (2015)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR (2015)
Arie Gurfinkel, Alexander Ivrii
Pushing to the Top. FMCAD (2015)
Alexander Ivrii, Vadim Ryvchin, Ofer Strichman
Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. SAT (2015)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. AAAI (2014)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. CoRR (2014)
Alexander Ivrii, Arie Gurfinkel, Anton Belov
Small inductive safe invariants. FMCAD (2014)
Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
Generating Modulo-2 Linear Invariants for Hardware Model Checking. Haifa Verification Conference (2014)
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
Generalized counterexamples to liveness properties. FMCAD (2013)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
Using cross-entropy for satisfiability. SAC (2013)
Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony
IC3-guided abstraction. FMCAD (2012)
Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva
On Efficient Computation of Variable MUSes. SAT (2012)
Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah
Perfect Hashing and CNF Encodings of Cardinality Constraints. SAT (2012)
Hana Chockler, Alexander Ivrii, Arie Matsliah
Computing Interpolants without Proofs. Haifa Verification Conference (2012)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
Incremental formal verification of hardware. FMCAD (2011)