8:46Z3 Explained - Satisfiability Modulo Theories & SMT SolversGuided Hacking22.1K viewsView & Download
14:04Coxeter Groups, Lecture 6: Symmetric groups as Coxeter groups (by Walter Mazorchuk)-Uppsala Algebra25 viewsView & Download