Malik Research Group System Design Methodology

Off screen: Skip to content Off screen: Skip to search
Princeton University
Home
Malik Research Group
System Design Methodology

Main Menu

  • Home
  • Research
  • Publications
  • Teaching
  • People
  • Join Us
  • Log in

Search

  1. Home
  2. Publications

Reduction of Resolution Refutations and Interpolants via Subsumption.

Author
Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
Publication Year
2014

Type

Conference Paper
Conference Name
Haifa Verification Conference
  • Google Scholar
  • BibTeX
  • EndNote X3 XML

Footer

  • Accessibility Help

© 2024 The Trustees of Princeton University

Princeton University