Learning support sets in IC3 and Quip: The good, the bad, and the ugly
- Ryan Berryhill
- Alexander Ivrii
- et al.
- 2017
- FMCAD 2017
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.