Login / Signup

Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic.

James P. BridgeSean B. HoldenLawrence C. Paulson
Published in: J. Autom. Reason. (2014)
Keyphrases