Alexander Ivrii

Publications

• Linear Circuit Synthesis using Weighted Steiner Trees

  • • Nir Gavrielov
    • Shelly Garion
    • et al.
  • 2024
  • Quantum Information and Computation

• Synthesis of a quantum circuit with unique two-qubit layers

  • • Shelly Garion
    • Alexander Ivrii
    • et al.
  • 2023
  • IWQC 2023

• Late breaking results: FRIENDS - Finding related interesting events via neighbor detection

  • • Raviv Gal
    • Haim Kermany
    • et al.
  • 2020
  • DAC 2020

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

  • • Ryan Berryhill
    • Alexander Ivrii
    • et al.
  • 2017
  • FMCAD 2017

• K-induction without unrolling

  • • Arie Gurfinkel
    • Alexander Ivrii
  • 2017
  • FMCAD 2017

• The computational complexity of structure-based causality

  • • Gadi Aleksandrowicz
    • Hana Chockler
    • et al.
  • 2017
  • JAIR

• The art of semi-formal bug hunting

  • • Pradeep Kumar Nalla
    • Raj Kumar Gajavelly
    • et al.
  • 2016
  • ICCAD 2016

• Lagrangian isotopy of tori in S²× S² and CP²

  • • Georgios Dimitroglou Rizell
    • Elizabeth Goodman
    • et al.
  • 2016
  • Geometric and Functional Analysis

• Pushing to the top

  • • Alexander Ivrii
    • Arie Gurfinkel
  • 2015
  • FMCAD 2015

• Constrained sampling and counting: Universal hashing meets SAT solving

  • • Kuldeep S. Meel
    • Moshe Vardi
    • et al.
  • 2016
  • AAAI 2016