The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Ivrii" ( http://dblp.L3S.de/Authors/Alexander_Ivrii )

URL (Homepage):  https://researcher.watson.ibm.com/researcher/view.php?person=il-ALEXI  Author page on DBLP  Author page in RDF  Community of Alexander Ivrii in ASPL-2

Publication years (Num. hits)
2011-2015 (15) 2016-2019 (10)
Publication types (Num. hits)
article(4) inproceedings(21)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh Input Elimination Transformations for Scalable Verification and Trace Reconstruction. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris Finding All Minimal Safe Inductive Sets. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Ziv Nevo, Jason Baumgartner k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris Learning support sets in IC3 and Quip: The good, the bad, and the ugly. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Alexander Ivrii K-induction without unrolling. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi On computing minimal independent support and its applications to sampling and counting. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kuldeep 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. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii The art of semi-formal bug hunting. Search on Bibsonomy ICCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kuldeep 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. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Valeriy Balabanov, Alexander Ivrii Speeding up MUS Extraction with Preprocessing and Chunking. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Vadim Ryvchin, Ofer Strichman Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Alexander Ivrii Pushing to the Top. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin Generating Modulo-2 Linear Invariants for Hardware Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Arie Gurfinkel, Anton Belov Small inductive safe invariants. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina Using cross-entropy for satisfiability. Search on Bibsonomy SAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo Generalized counterexamples to liveness properties. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah Perfect Hashing and CNF Encodings of Cardinality Constraints. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva On Efficient Computation of Variable MUSes. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah Computing Interpolants without Proofs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony IC3-guided abstraction. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo Incremental formal verification of hardware. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license