2026 Apr 30 Random walks, satisfiability, and quantum walks Open slides