The SATBIB project

To propose a link enter your email address:


	Deadline Countdown
	SAT12 7 days


	Heads up on SAT research JSAT: the Journal on Satisfiability, Boolean Modeling and Computation The SAT conferences: next meeting June 17-June 20, 2012, Trento, Italy. The SAT solver competitions SAT gory details


	SAT related books


	Other SAT related sites SATLIB: the satisfiability library SAT-Ex: experimentations about SAT QBFLIB: the QBF library PBLIB: The pseudo-boolean library SMTLIB: The Satisfiability Modulo Theory library SAT4J:A SATisfiability library for Java

The SATBIB project

A shared bibtex file for SAT.

Search the references

Last modifications

2002-02-25 confs.bib

2002-07-03 satbib.bib

How to use it?

Just include

\bibliography{satbib,confs}

at the end of your LaTeX file. (Please note that the order of the two files is important).

How to get it?

You can download the bibtex file from this page every now and then, or use CVS to keep a local copy of the file up-to-date. To use CVS:

Download and install CVS from CVS web site.
Log in to the cvs server:
```
cvs -d :pserver:cvs@satlive.org:/usr/local/cvs/satlive login
```
Just hit enter when you are asked a password.

Get a copy of the bibtex file:

cvs -d :pserver:cvs@satlive.org:/usr/local/cvs/satlive co SATBIB

If you modify the bibtex file (add new entries or correct/modify the ones already present), you need to commit your changes to let them available to everybody:
Go to the directory where is the bibtex file.
```
cvs -d :pserver:cvs@satlive.org:/usr/local/cvs/satlive ci
```
You will be asked for a description of your change.
Please do an update of your working copy before commiting! (else you may erase the contribution of someone else).
To keep your file up-to-date: Go to the directory where is the bibtex file.
```
cvs -d :pserver:cvs@satlive.org:/usr/local/cvs/satlive update
```

To find more information about CVS, please check the CVS web site.

How to contribute?

Simply add your own references about SAT, or missing references, or correct incomplete ones.

Please check that your contribution respects BibTeX format (see the link below).

Please use the URL field when possible: it allows people to access quickly the reference using the HTML form of the file.

I also think that the usage of cross references for articles in collections or proceedings could simplify the work (e.g. creating an ijcai01 proceeding entry and crossreferencing it from each paper appeared in the proceedings.) You can take a look to the example of the SAT2000 book for crossreferencing. Main conference proceedings entries should be included in the confs.bib file. This allows you to reuse these entries in crossrefs in other bibtex files. SAT related main conference or workshop should be added at the end of the satbib.bib file for crossreferencing.

More infos about BibTeX

© 2000-2001 Business & Technology Research Laboratory. © 2001-2005 Centre de Recherche en Informatique de Lens. Hosted by Innovation and Technology Research Lab. Please send any comment to daniel@satlive.org.