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: techniques and extensions

Author
Sharad Malik, Georg Weissenbacher
Publication Year
2012

Type

Journal Article
Journal
Software Safety and Security-Tools for Analysis and Verification, NATO Science for Peace and Security Series
  • Google Scholar
  • BibTeX
  • EndNote X3 XML

Footer

  • Accessibility Help

© 2025 The Trustees of Princeton University

Princeton University