Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;D Babić,2007
2. Babic, D., Hutter, F.: Spear theorem prover. Solver description, SAT competition 2007 (2007)
3. Bartz-Beielstein, T.: SPOT: an R package for automatic and interactive tuning of optimization algorithms by sequential parameter optimization. CoRR abs/1006.4645 (2010)
4. Basmer, M., Kehrer, T.: Encoding adaptability of software engineering tools as algorithm configuration problem: a case study. In: Proceedings of International Conference on Automated Software Engineering Workshop (ASEW 2019), pp. 86–89. IEEE (2019)
5. Bromiley, P., Thacker, N., Bouhova-Thacker, E.: Shannon entropy, Renyi entropy, and information. In: Statistics and Information Series, pp. 1–8 (2004)