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

Boolean Satisfiability: Solvers and Extensions.

Author
Georg Weissenbacher, Pramod Subramanyan, Sharad Malik
Publication Year
2014

Type

Journal Article
Journal
Software Systems Safety
Volume
36
Pages
223
  • Google Scholar
  • BibTeX
  • EndNote X3 XML

Footer

  • Accessibility Help

© 2024 The Trustees of Princeton University

Princeton University