% FROM: Citations4SAT.bib via BibSplit on  Sat Sep 25 13:48:19 EDT 2004 
@inproceedings{2003-SAT-Brglez,
   author = "F. Brglez and M. F. Stallmann and X. Y. Li",
   title = "{SATbed}: An Environment For Reliable Performance Experiments with SAT Instance Classes and Algorithms",
     booktitle = "Proceedings of {SAT2003}, Sixth International Symposium on the Theory and Applications of Satisfiability Testing, May 5-8 2003, S. Margherita Ligure - Portofino, Italy",
  month = May,
  year = "2003",
  pages = {260--272},
  note = "For links to re-prints, data sets and experimental testbed, see also
          http://\-www.cbl.ncsu.edu/\-publications/",
abstract = "{
Analysis of our recent experiments for a group of SAT solvers and several 
classes of problem instances suggests a common mathematical framework with 
experiments in component reliability. In the latter, we observe the 
distribution of component  lifetime; in the former, we observe the 
distribution of execution time (runtime).
A lifetime distribution for 
hardware components is frequently found to have an exponential, Weibull, 
Pareto, or gamma distribution. Our experiments with state-of-the-art SAT 
solvers reveal normal distributions and exponential distributions of 
runtime and other related random variables, as well as other distributions 
commonly observed in reliability applications.

This paper describes an  experimental test bed for SAT solvers that emulates 
the reliability framework: equivalence classes of isomorphic problem instances 
(replicated hardware components), subjected to tests with specific SAT solvers 
(specifically controlled environments), observations of runtime, 
implications, etc. (lifetime), statistical analysis and modeling, based on 
the recorded random variables. The test bed not only facilitates 
systematic study and reliable improvement of any SAT solver but also 
supports the introduction and validation of new problem instance classes.
}",
URLcrossref = "{
For context and related publications, see the SATbed home page:
    http://www.cbl.ncsu.edu/\-OpenExperiments/SAT/ 
}",
}