Cezary Kaliszyk, Josef Urban. Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution. In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 87-95, EasyChair, 2013. [doi]
@inproceedings{KaliszykU13a,
title = {Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution},
author = {Cezary Kaliszyk and Josef Urban},
year = {2013},
url = {http://www.easychair.org/publications/?page=242387180},
researchr = {https://researchr.org/publication/KaliszykU13a},
cites = {0},
citedby = {0},
pages = {87-95},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
editor = {Jasmin Christian Blanchette and Josef Urban},
volume = {14},
series = {EPiC Series},
publisher = {EasyChair},
}