%0 Journal Article %1 journals/tcad/SeufertWSSPB23 %A Seufert, Tobias %A Winterer, Felix %A Scholl, Christoph %A Scheibler, Karsten %A Paxian, Tobias %A Becker, Bernd %D 2023 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 4 %P 1351-1364 %T Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. %U http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#SeufertWSSPB23 %V 42

@article{journals/tcad/SeufertWSSPB23, added-at = {2023-04-16T00:00:00.000+0200}, author = {Seufert, Tobias and Winterer, Felix and Scholl, Christoph and Scheibler, Karsten and Paxian, Tobias and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/21299ec6060155fbd06037accd5e4b253/dblp}, ee = {https://doi.org/10.1109/TCAD.2022.3198260}, interhash = {fdf48dbf7c259c72d76f2ba3137ab689}, intrahash = {1299ec6060155fbd06037accd5e4b253}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {April}, number = 4, pages = {1351-1364}, timestamp = {2024-04-08T19:45:55.000+0200}, title = {Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#SeufertWSSPB23}, volume = 42, year = 2023 }