Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT b
88,69 €
Propositional satisfiability (SAT) solving and machine learning are both large and longstanding areas of research, and each has a correspondingly large literature. In this book, the author presents the results of his thorough and systematic review of the research at the intersection of these two apparently rather unrelated fields.
Jetzt bei Ebay:
