Sean B. Holden

From MaRDI portal
Person:2104544

Available identifiers

zbMath Open holden.sean-bMaRDI QIDQ2104544

List of research outcomes





PublicationDate of PublicationType
Bayesian ranking for strategy scheduling in automated theorem provers2022-12-07Paper
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT2022-02-07Paper
Machine learning for first-order theorem proving2015-06-23Paper
https://portal.mardi4nfdi.de/entity/Q27801682002-04-15Paper
https://portal.mardi4nfdi.de/entity/Q27774212002-03-07Paper
Average-Case Learning Curves for Radial Basis Function Networks1997-05-06Paper
https://portal.mardi4nfdi.de/entity/Q48931601996-09-01Paper
https://portal.mardi4nfdi.de/entity/Q48344661995-05-30Paper

Research outcomes over time

This page was built for person: Sean B. Holden

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104544&oldid=6759004"
Powered by MediaWiki