@comment FROM: Z_Citations-NSF_ITR-01.bib via BibSplit on  Thu Oct 14 22:54:51 EDT 2004 
@techreport{2001-TR4CBL-02-Brglez,
author = "F. Brglez and X.Y. Li and M.F. Stallmann",
title  = "{Exploring Satisfiability: Instance Families and Experimental Design}",
institution = "{CBL, CS Dept., NCSU, Raleigh, NC 27695}",
number = "2001-TR@CBL-02-Brglez",
month  = "November", 
year   = "2001", 
note   = "{Also available at
{\tt http://www.cbl.ncsu.edu/\-publications/\-\#2001-TR@CBL-02-Brglez}}",
}