Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- 2020
- DAC 2020
Publications
This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Featured collections
Popular topics
Year
10 results for Alexander Ivrii
Constrained sampling and counting: Universal hashing meets SAT solving
- Kuldeep S. Meel
- Moshe Vardi
- et al.
- 2016
- AAAI 2016
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 art of semi-formal bug hunting
- Pradeep Kumar Nalla
- Raj Kumar Gajavelly
- et al.
- 2016
- ICCAD 2016
Pushing to the top
- Alexander Ivrii
- Arie Gurfinkel
- 2015
- FMCAD 2015
Synthesis of a quantum circuit with unique two-qubit layers
- 2023
- IWQC 2023
The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2017
- JAIR
Lagrangian isotopy of tori in S2× S2 and CP2
- Georgios Dimitroglou Rizell
- Elizabeth Goodman
- et al.
- 2016
- Geometric and Functional Analysis
On computing minimal independent support and its applications to sampling and counting
- Alexander Ivrii
- Sharad Malik
- et al.
- 2015
- Constraints