list | abstracts | bib ]

On Induction for SMT Solvers

paper pdf   

Citation

Andrew Reynolds and Viktor Kuncak. On induction for SMT solvers. Technical Report EPFL-REPORT-201755, EPFL, 2014.

BibTex Entry

@TECHREPORT{ReynoldsKuncak14InductionSMTSolvers,
  author = {Andrew Reynolds and Viktor Kuncak},
  title = {On Induction for {SMT} Solvers},
  institution = {EPFL},
  year = 2014,
  number = {EPFL-REPORT-201755},
  localurl = {http://lara.epfl.ch/~kuncak/papers/ReynoldsKuncak14InductionSMTSolvers.pdf}
}

list | abstracts | bib ]