Tag: machine learning

  • CrystalBall: SAT solving, Data Gathering, and Machine Learning

    This is going to be a long post, collecting many years of work, some of which was done by my colleagues Kuldeep Meel and Raghav Kulkarni. They have both significantly contributed to this work and I owe a lot to both. The research paper is available here (accepted to SAT’2019) and the code is available […]

  • Machine Learning and SAT

    I have lately been digging myself into a deep hole with machine learning. While doing that it occurred to me that the SAT community has essentially been trying to imitate some of ML in a somewhat poor way. Let me explain. CryptoMiniSat and clause cleaning strategy selection When CryptoMiniSat won the SAT Race of 2010, […]