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 | |
| State | Published - 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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver