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

DOI10.1561/2200000081OpenAlexW3210841499MaRDI QIDQ5026334

Sean B. Holden

Publication date: 7 February 2022

Published in: Foundations and Trends® in Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1561/2200000081

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (1)

Machine learning and logic: a new frontier in artificial intelligence

This page was built for publication: Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT