ICP and IC3 with Stronger Generalization. - Felix Winterer; Tobias Seufert; Karsten Scheibler; Tino Teige; Chritsoph Scholl; Bernd Becker 001 (MBMV, 2021)