CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

The state of SAT☆

by: Henry Kautz, Bart Selman
Discrete Applied Mathematics, Vol. 155, No. 12. (15 June 2007), pp. 1514-1524.

X 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.

View the full article here:

DOI, ElsevierPII

This article has been bookmarked once, on 2009-11-03.

2009-11-03 User bsilverthorn
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.