| 000 | 00435nam a22001217a 4500 | ||
|---|---|---|---|
| 999 |
_c4705 _d4705 |
||
| 008 | 220211b ||||| |||| 00| 0 eng d | ||
| 020 | _a9781680838985 | ||
| 245 | _aMachine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT | ||
| 260 |
_bNOW publisher _c2021 |
||
| 700 | _aSean B. Holden | ||
| 856 |
_uhttps://drive.google.com/file/d/1dNTYinMx8e8RWRP7nLAX8L8eB1zrMC-t/view?usp=sharing _zFull-text here |
||
| 942 |
_cBK _n0 |
||