Lifting Propositional Interpolants to the Word−Level
Daniel Kroening and Georg Weissenbacher
Book Title
Proceedings of FMCAD
Note
(also presented in the TRESOR seminar at EPFL‚ June 2008)
Pages
85–89
Publisher
IEEE
Year
2007
Daniel Kroening and Georg Weissenbacher