Maschinelles Lernen für automatisierte Satznachweise: Lernen, SAT und QSAT zu lösen
89,83 €
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:
