https://www.borealisai.com/research-blogs/tutorial-9-sat-solvers-i-introduction-and-applications/
Tutorial #9: SAT Solvers I: Introduction and applications
S. Prince
Nov. 10, 2020
“This tutorial concerns the Boolean satisfiability or SAT problem…. we’ll show how to fit both neural networks and decision trees using SAT solvers.”