Download
https://events.illc.uva.nl/FOAM/posts/talk14/
Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems - FOAM Seminar
Share