Tobias Seufert, Felix Winterer, Christoph Scholl 0001, Karsten Scheibler, Tobias Paxian, Bernd Becker 0001. Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(4):1351-1364, April 2023. [doi]
Abstract is missing.