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