@article{Malik:2009:BST:1536616.1536637,
    Address = {New York, NY, USA},
    Author = {Malik, Sharad and Zhang, Lintao},
    File = {Boolean satisfiability from theoretical hardness to practical success - Malik, Zhang (0) (0) - a - a - t.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {August},
    Number = {8},
    Pages = {76--82},
    Publisher = {ACM},
    Title = {Boolean satisfiability from theoretical hardness to practical success},
    URL = {http://doi.acm.org/10.1145/1536616.1536637},
    Volume = {52},
    Year = {2009},
    acmid = {1536637},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1536616.1536637},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1536616.1536637},
    date-added = {2013-01-30 17:21:47 +0000},
    date-modified = {2013-01-30 17:21:47 +0000},
    issue_date = {August 2009},
    numpages = {7},
    doi = {10.1145/1536616.1536637}
}

@article{Malik:2009:BST:1536616.1536637, Address = {New York, NY, USA}, Author = {Malik, Sharad and Zhang, Lintao}, File = {Boolean satisfiability from theoretical hardness to practical success - Malik, Zhang (0) (0) - a - a - t.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {August}, Number = {8}, Pages = {76--82}, Publisher = {ACM}, Title = {Boolean satisfiability from theoretical hardness to practical success}, URL = {http://doi.acm.org/10.1145/1536616.1536637}, Volume = {52}, Year = {2009}, acmid = {1536637}, bdsk-url-1 = {http://doi.acm.org/10.1145/1536616.1536637}, bdsk-url-2 = {http://dx.doi.org/10.1145/1536616.1536637}, date-added = {2013-01-30 17:21:47 +0000}, date-modified = {2013-01-30 17:21:47 +0000}, issue_date = {August 2009}, numpages = {7}, doi = {10.1145/1536616.1536637} }