% FROM: Citations4SAT.bib via BibSplit on  Sat Sep 25 13:48:19 EDT 2004 
@inproceedings{2002-SAT-Brglez,
   author = "F. Brglez and X. Y. Li and M. F. Stallmann",
   title = "The Role of a Skeptic Agent in Testing and Benchmarking of {SAT} Algorithms",
   booktitle = "Proceedings of {SAT2002}, 5-th Int. Symp. on the Theory and Applications of Satisfiability Testing, May 6--9 2002",
   year = 2002,
   month = May,
   note = "For links to re-prints, data sets and experimental testbed, see also
             http://\-www.cbl.ncsu.edu/\-publications/",
}