The Collection of
Computer Science Bibliographies

Bibliography of the SATBIB project

[   About   |  Browse   |   Statistics   ]

Number of references:187Last update:November 21, 2003
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

Author:
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
Australia
Keywords:
satisfiability problem
Author Comments

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(103), article(40), incollection(11), phdthesis(9), proceedings(9), techreport(8), book(3), unpublished(2), mastersthesis(1), misc(1)
Fields:
title(187), year(187), author(176), booktitle(125), 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!