Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat

by Sean B Holden

Automated theorem proving represents a significant and long-standing area of research in computer science, with numerous applications. A large proportion of the methods developed to date for the implementation of automated theorem provers (ATPs) have been algorithmic, sharing a great deal in common with the wider study of heuristic search algorithms. However, in recent years researchers have begun to incorporate machine learning (ML) methods into...

• Format: Paperback
• Language: English
• ISBN: 1680838989
• ISBN13: 9781680838985
• Release Date: November 2021
• Publisher: Now Publishers
• Length: 200 Pages
• Weight: 0.64 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"