TY  - RPRT
TI  - Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
AU  - Tobias Seufert
AU  - Felix Winterer
AU  - Christoph Scholl
AU  - Karsten Scheibler
AU  - Tobias Paxian
AU  - Bernd Becker
PY  - 2022
DO  - 10.1109/tcad.2022.3198260
UR  - https://arxiv.org/abs/2105.09169
ID  - 2105.09169
ER  -