When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Sean B. Holden Machine Learning for Automated Theorem Proving (Paperback)
- Item No : 406045481584
- Condition : Brand New
- Brand : No brand Info
- Seller : rarewaves-usa
- Current Bid : US $132.18
-
* Item Description
- 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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
