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 here| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Skoltech library Shelves | QA267 .H15 (Browse shelf) | Available | 2000008811 |
Total holds: 0
There are no comments for this item.