Boolean satisfiability from theoretical hardness to practical success

Sharad Malik; Lintao Zhang

doi:10.1145/1536616.1536637

Boolean satisfiability from theoretical hardness to practical success

Sharad Malik, Lintao Zhang

Research output: Contribution to journal › Review article › peer-review

139 Scopus citations

Abstract

Satisfiability solvers can now be effectively deployed in practical applications.

Original language	English (US)
Pages (from-to)	76-82
Number of pages	7
Journal	Communications of the ACM
Volume	52
Issue number	8
DOIs	https://doi.org/10.1145/1536616.1536637
State	Published - Aug 1 2009

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1145/1536616.1536637

Cite this

@article{08afa545a1334fd78dee88c57894f980,

title = "Boolean satisfiability from theoretical hardness to practical success",

abstract = "Satisfiability solvers can now be effectively deployed in practical applications.",

author = "Sharad Malik and Lintao Zhang",

year = "2009",

month = aug,

day = "1",

doi = "10.1145/1536616.1536637",

language = "English (US)",

volume = "52",

pages = "76--82",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery (ACM)",

number = "8",

}

TY - JOUR

T1 - Boolean satisfiability from theoretical hardness to practical success

AU - Malik, Sharad

AU - Zhang, Lintao

PY - 2009/8/1

Y1 - 2009/8/1

N2 - Satisfiability solvers can now be effectively deployed in practical applications.

AB - Satisfiability solvers can now be effectively deployed in practical applications.

UR - http://www.scopus.com/inward/record.url?scp=69149105621&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=69149105621&partnerID=8YFLogxK

U2 - 10.1145/1536616.1536637

DO - 10.1145/1536616.1536637

M3 - Review article

AN - SCOPUS:69149105621

SN - 0001-0782

VL - 52

SP - 76

EP - 82

JO - Communications of the ACM

JF - Communications of the ACM

IS - 8

ER -

Boolean satisfiability from theoretical hardness to practical success

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this