Machine Learning for First-Order Theorem Proving: Learning to Select a Good Heuristic
Bridge, James P., Holden, Sean B., Paulson, Lawrence C.
Published in Journal of automated reasoning (01.08.2014)
Published in Journal of automated reasoning (01.08.2014)
Get full text
Journal Article
Machine Learning for First-Order Theorem Proving
Bridge, James P, Holden, Sean B, Paulson, Lawrence C
Published in Journal of automated reasoning (01.08.2014)
Published in Journal of automated reasoning (01.08.2014)
Get full text
Journal Article