Alexander Ivrii

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