The Collection of
Computer Science Bibliographies
Bibliography of the SATBIB project
[ About | Browse | Statistics ]
| Number of references: | 187 | Last update: | November 21, 2003 |
|---|
| Number of online publications: | 88 | Supported: | yes |
|---|
| Most recent reference: | March 2002 |
| |
|---|
- 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
- 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:
-
