Portfolio theorem proving and prover runtime prediction for geometry

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-28
Number of pages	28
Journal	Annals of Mathematics and Artificial Intelligence
Publication status	Published - 2018

Fields of science

@article{c2a1105eba30452a836706e194694901,

title = "Portfolio theorem proving and prover runtime prediction for geometry",

author = "Zolt{\'a}n Kov{\'a}cs and Mladen Nikolic and Vesna Marinkovic and Predrag Janicic",

year = "2018",

language = "English",

pages = "1--28",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1573-7470",

publisher = "Springer International Publishing",

}