@InProceedings{KU13-PXTP,
    Author       = "Kaliszyk, C. and Urban, J.",
    Year         = "2013",
    Title        = "{Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution}",
    BookTitle    = "{Proceedings of the 3rd International Workshop on Proof Exchange for Theorem
                    Proving}",
    Place        = "Lake Placid, USA",
    Pages        = "To appear",
    Publisher    = "EasyChair Proceedings in Computing",
    Comment      = ""
}