Stronger automation for flyspeck by feature weighting and strategy evolution

Thumbnail
Fulltext:
119984.pdf
Size:
268.8Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2013
Author(s)
Kaliszyk, C.
Urban, J.
Publisher
S.l. : EasyChair
Series
EPiC Series ; 14
In
Blanchette, J. (ed.), Pxtp 2013. Third international workshop on proof exchange for theorem proving, pp. 87-95
Publication type
Part of book or chapter of book
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/119984   https://hdl.handle.net/2066/119984
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.