Sean B. Holden
From MaRDI portal
Person:2104544
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Bayesian ranking for strategy scheduling in automated theorem provers | 2022-12-07 | Paper |
| Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT Foundations and Trends® in Machine Learning | 2022-02-07 | Paper |
| Machine learning for first-order theorem proving Journal of Automated Reasoning | 2015-06-23 | Paper |
| scientific article; zbMATH DE number 1728711 (Why is no real title available?) | 2002-04-15 | Paper |
| scientific article; zbMATH DE number 1717314 (Why is no real title available?) | 2002-03-07 | Paper |
| Average-Case Learning Curves for Radial Basis Function Networks Neural Computation | 1997-05-06 | Paper |
| scientific article; zbMATH DE number 922640 (Why is no real title available?) | 1996-09-01 | Paper |
| scientific article; zbMATH DE number 759415 (Why is no real title available?) | 1995-05-30 | Paper |
Research outcomes over time
This page was built for person: Sean B. Holden
