Boolean satisfiability from theoretical hardness to practical success

Sharad Malik, Lintao Zhang

Research output: Contribution to journalReview articlepeer-review

139 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

  • General Computer Science

Fingerprint

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

Cite this