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.
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
- Item No : 146285388315
- Condition : Brand New
- Brand : No brand Info
- Seller : bestpriceworldwide
- Current Bid : US $76.78
-
* 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
-
- NO GRID Survival Projects
- $ 37.00
