Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers.

Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson

Browse the full CADE paper archive.