Reduction of Resolution Refutations and Interpolants via Subsumption (bibtex)
by Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
Reference:
Reduction of Resolution Refutations and Interpolants via SubsumptionRoderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg WeissenbacherChapter in Hardware and Software: Verification and Testing (Eran Yahav, ed.), volume 8855 of Lecture Notes in Computer Science, pages 188-203, 2014, Springer International Publishing.
Bibtex Entry:
@incollection{BMSW14:HVC,
  year={2014},
  isbn={978-3-319-13337-9},
  booktitle={Hardware and Software: Verification and Testing},
  volume={8855},
  series={Lecture Notes in Computer Science},
  editor={Yahav, Eran},
  doi={10.1007/978-3-319-13338-6_15},
  title={Reduction of Resolution Refutations and Interpolants via Subsumption},
  url={http://dx.doi.org/10.1007/978-3-319-13338-6_15},
  publisher={Springer International Publishing},
  author={Bloem, Roderick and Malik, Sharad and Schlaipfer, Matthias and Weissenbacher, Georg},
  pages={188-203},
  language={English}
}
Powered by bibtexbrowser