Sean B. Holden

Available identifiers

zbMath Open holden.sean-bMaRDI QIDQ2104544

List of research outcomes

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	2022-02-07	Paper
Machine learning for first-order theorem proving	2015-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q2780168	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2777421	2002-03-07	Paper
Average-Case Learning Curves for Radial Basis Function Networks	1997-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4893160	1996-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4834466	1995-05-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sean B. Holden