Interpolant Strength Revisited (bibtex)
by Georg Weissenbacher
Reference:
Interpolant Strength RevisitedGeorg WeissenbacherTheory and Applications of Satisfiability Testing (SAT) (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 312-326, 2012, Springer.
Bibtex Entry:
@inproceedings{w2012,
   year      = {2012},
   booktitle = {Theory and Applications of Satisfiability Testing (SAT)},
   volume    = {7317},
   series    = {Lecture Notes in Computer Science},
   editor    = {Cimatti, Alessandro and Sebastiani, Roberto},
   doi       = {10.1007/978-3-642-31612-8_24},
   title     = {Interpolant Strength Revisited},
   url       = {http://dx.doi.org/10.1007/978-3-642-31612-8_24},
   publisher = {Springer},
   author    = {Weissenbacher, Georg},
   pages     = {312-326}
}
Powered by bibtexbrowser