Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Contributor(s): Sean B. Holden.
Publisher: NOW publisher 2021ISBN: 9781680838985.Online resources: Full-text hereItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Skoltech library Shelves | QA267 .H15 (Browse shelf) | Available | 2000008811 |
Total holds: 0
Browsing Skoltech library Shelves , Shelving location: Shelves Close shelf browser
QA252.3 .K33 1990 Infinite dimensional Lie algebras / | QA267 .B347 2011 Bayesian reasoning and machine learning / | QA267 .B347 2011 Bayesian reasoning and machine learning / | QA267 .H15 Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT | QA267 .K5713 2002 Classical and quantum computation / | QA267 .K5713 2002 Classical and quantum computation / | QA267.7 .M66 2011 The nature of computation / |
There are no comments for this item.