Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution.

Cezary Kaliszyk, Josef Urban

Browse the full CADE paper archive.