Alexander Ivrii

According to our database, Alexander Ivrii authored at least 26 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Exploiting Isomorphic Subgraphs in SAT (Long version).

Alexander Ivrii, Ofer Strichman

CoRR, 2021

Exploiting Isomorphic Subgraphs in SAT.

Alexander Ivrii, Ofer Strichman

Proceedings of the Formal Methods in Computer Aided Design, 2021

IC3 with Internal Signals.

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.

Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Input Elimination Transformations for Scalable Verification and Trace Reconstruction.

Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.

Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Finding All Minimal Safe Inductive Sets.

Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms.

Alexander Ivrii, Ziv Nevo, Jason Baumgartner

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

The Computational Complexity of Structure-Based Causality.

Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

J. Artif. Intell. Res., 2017

K-induction without unrolling.

Arie Gurfinkel, Alexander Ivrii

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Learning support sets in IC3 and Quip: The good, the bad, and the ugly.

Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

On computing minimal independent support and its applications to sampling and counting.

Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi

Constraints An Int. J., 2016

The art of semi-formal bug hunting.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

Proceedings of the Beyond NP, 2016

2015

Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data.

Alexander Ivrii, Vadim Ryvchin, Ofer Strichman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Speeding up MUS Extraction with Preprocessing and Chunking.

Valeriy Balabanov, Alexander Ivrii

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Pushing to the Top.

Arie Gurfinkel, Alexander Ivrii

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Generating Modulo-2 Linear Invariants for Hardware Model Checking.

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin

Proceedings of the Hardware and Software: Verification and Testing, 2014

Small inductive safe invariants.

Alexander Ivrii, Arie Gurfinkel, Anton Belov

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Using cross-entropy for satisfiability.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Generalized counterexamples to liveness properties.

Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Perfect Hashing and CNF Encodings of Cardinality Constraints.

Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

On Efficient Computation of Variable MUSes.

Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Computing Interpolants without Proofs.

Hana Chockler, Alexander Ivrii, Arie Matsliah

Proceedings of the Hardware and Software: Verification and Testing, 2012

IC3-guided abstraction.

Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Incremental formal verification of hardware.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011