Benchmarking and Resource Measurement

@inproceedings{Beyer2015BenchmarkingAR,
  title={Benchmarking and Resource Measurement},
  author={Dirk Beyer and Stefan L{\"o}we and Philipp Wendler},
  booktitle={SPIN},
  year={2015}
}
Proper benchmarking and resource measurement is an important topic, because benchmarking is a widely-used method for the comparative evaluation of tools and algorithms in many research areas. It is essential for researchers, tool developers, and users, as well as for competitions. We formulate a set of requirements that are indispensable for reproducible benchmarking and reliable resource measurement of automatic solvers, verifiers, and similar tools, and discuss limitations of existing methods… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 11

Averaging 11 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.