SATLIB - The Satisfiability Library


Welcome to SATLIB at www.satlib.org. The most recent release of SATLIB is Version 1.4.4 of 01/05/11. Currently, SATLIB is available from the the following sites:

Citing SATLIB: If you use SATLIB for your research, we ask you to acknowledge it in the respective publications by citing the following article:

Holger H. Hoos and Thomas Stützle: SATLIB: An Online Resource for Research on SAT. In: I.P.Gent, H.v.Maaren, T.Walsh, editors, SAT 2000, pp.283-292, IOS Press, 2000. SATLIB is available online at www.satlib.org.

You can find a PDF file of this paper (almost final version) at http://www.cs.ubc.ca/~hoos/Publ/sat2000-satlib.pdf.

Bookmarking SATLIB: If you want to bookmark SATLIB or refer to SATLIB electronically or in print, please use this page (www.satlib.org) rather than the specific SATLIB sites mentioned above.

Latest News:

SATLIB is currently being updated and restructured . Temporary disruptions of service should be expected between 03/06/01 and 03/12/15.


© hh, last update 03/11/25.