Lifting Propositional Interpolants to the Word-Level

Daniel Kroening and Georg Weissenbacher

Details

Publication typeInproceedings
Published inFMCAD
Pages85-89
> Publications > Lifting Propositional Interpolants to the Word-Level