C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT.
Sean B. Holden
Published in:
Found. Trends Mach. Learn. (2021)
Keyphrases
</>
machine learning
learning problems
learning process
learning algorithm
supervised learning
learning systems
learning tasks
active learning
knowledge acquisition
automated theorem proving
explanation based learning
e learning
search algorithm
lower bound
expert systems