% FROM: Citations4SAT.bib via BibSplit on  Sat Sep 25 13:48:18 EDT 2004 
@misc{2003-SATbed-home,
    author = "F. Brglez and M. Stallmann and X. Y. Li",
title  = "{SATbed} Home Page: A Tutorial, A User Guide, A Software Archive,
           Archives of SAT Instance Classes and Experimental Results",
    year = "2003",
    note = "See
        http://\-www.cbl.ncsu.edu/\-OpenExperiments/\-SAT/",
}