BliStrTune: Hierarchical Invention of Theorem Proving Strategies

Jakubův, J., Urban, J.

JAKUBŮV, J. and J. URBAN. BliStrTune: Hierarchical Invention of Theorem Proving Strategies. In: VAFEIADIS, V. and Y. BERTOT, eds. Proceedings of the 6th Conference on Certified Programs and Proofs. 6th Conference on Certified Programs and Proofs, Paris, 2017-01-16/2007-01-17. New York: ACM, 2017. p. 43-52. ISBN 978-1-4503-4705-1. DOI 10.1145/3018610.3018619.