The state of SAT Export

@article{citeulike:6058093, abstract = {The papers in this special issue originated at SAT 2001 , the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the current state of satisfiability testing and places the papers in this issue in context.}, author = {Kautz, Henry and Selman, Bart}, citeulike-article-id = {6058093}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.dam.2006.10.004}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S0166218X06004586}, day = {15}, doi = {10.1016/j.dam.2006.10.004}, issn = {0166218X}, journal = {Discrete Applied Mathematics}, keywords = {satisfiability, surveys}, month = {June}, number = {12}, pages = {1514--1524}, posted-at = {2009-11-03 02:07:42}, priority = {2}, title = {{The state of SAT}}, url = {http://dx.doi.org/10.1016/j.dam.2006.10.004}, volume = {155}, year = {2007} }

TY - JOUR ID - citeulike:6058093 L3 - citeulike-article-id:6058093 N2 - The papers in this special issue originated at SAT 2001 , the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the current state of satisfiability testing and places the papers in this issue in context. IS - 12 JF - Discrete Applied Mathematics SN - 0166218X EP - 1524 TI - {The state of SAT} VL - 155 SP - 1514 KW - satisfiability KW - surveys AU - Kautz, Henry AU - Selman, Bart PY - 2007/06/15/ UR - http://dx.doi.org/10.1016/j.dam.2006.10.004 ER -