Lifting Propositional Interpolants to the Word-Level.

Daniel Kroening, Georg Weissenbacher

Browse the full FMCAD paper archive.