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]
Abstract is missing.