#Artificial_Intelligence #Data #Machine_learning #Automated_reasoning #SAT_solvers #SMT_solvers
source
source
John D. Cook | Applied Mathematics Consulting
Machine learning by satisfiability solving
Automated reasoning tools like SAT and SMT solvers might seem an unlikely choice for machine learning. However for some cases they can be quite effective.