PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Machine learning for first-order theorem proving: learning to select a good heuristic
James Bridge, Sean Holden and Lawrence Paulson
Journal of Automated Reasoning 2012.

Abstract

Abstract withheld at present as inclusion my contravene the journal's no-prior-publication requirement.

EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Computational, Information-Theoretic Learning with Statistics
ID Code:9631
Deposited By:Sean Holden
Deposited On:08 December 2012