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

Sean B. Holden

978-1-68083-898-5

99.00 USD