Learning-Assisted Automated Reasoning with Flyspeck

Cezary Kaliszyk and Josef Urban
Journal of Automated Reasoning 53(2), pp. 173 – 213, 2014.

abstract   BibTeX   PDF   doi:10.1007/s10817-014-9303-3