Boolean satisfiability from theoretical hardness to practical success

Sharad Malik, Lintao Zhang

Research output: Contribution to journalReview article

106 Scopus citations

Abstract

Satisfiability solvers can now be effectively deployed in practical applications.

Original languageEnglish (US)
Pages (from-to)76-82
Number of pages7
JournalCommunications of the ACM
Volume52
Issue number8
DOIs
StatePublished - Aug 1 2009

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Boolean satisfiability from theoretical hardness to practical success'. Together they form a unique fingerprint.

  • Cite this