The Collection of
Computer Science Bibliographies

Bibliography of the SATBIB project

[   About   |  Browse   |   Statistics   ]

Number of references:187Last update:November 27, 2021
Number of online publications:0Supported:yes
Most recent reference:March 2002

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Daniel Le Berre <daniel @ satlive . org> (email mangled to prevent spamming)
Faculty of Economics and Commerce
School Of Management, S123
University of Newcastle, Callaghan, NSW 2308
satisfiability problem
Author Comments

Browsing the bibliography

Bibliographic Statistics

inproceedings(103), article(40), incollection(11), phdthesis(9), proceedings(9), techreport(8), book(3), unpublished(2), mastersthesis(1), misc(1)
title(187), year(187), author(176), booktitle(129), pages(122), url(86), address(63), volume(55), month(50), journal(40), publisher(38), number(26), editor(25), series(18), note(10), school(10), institution(9), key(6), keywords(3), annote(2), organization(2), date(1), pdf(1), ps(1), type(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!