47:49How to Tune your Optimization Solver for Faster Solve TimesMixed Integer Programming165 viewsView & Download
17:51Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided TransformationsSPLASH2016400 viewsView & Download
21:05FM'21 | Session 9 : Z3str4: A Multi-armed String SolverFormal Methods Europe54 viewsView & Download
18:15SpaceSearch: A Library for Building and Verifying Solver-Aided ToolsICFP Video66 viewsView & Download
1:01:37Adaptive Linear Solvers and Eigensolvers I Jack Dongarra, ORNLArgonne Meetings, Webinars, and Lectures245 viewsView & Download
30:25MathOpt: Solver Independent Modeling in Google's OR-Tools | Ross Anderson | JuliaCon 2023The Julia Programming Language6.1K viewsView & Download
28:24Optimization Solvers in JuliaSmoothOptimizers | Tangi Migot | JuliaCon 2023The Julia Programming Language811 viewsView & Download
1:00:07(sixth RacketCon): Emina Torlak -- Synthesis and Verification for AllRacket4.9K viewsView & Download
19:17[PLDI'25] Solving Floating-Point Constraints with Continuous OptimizationACM SIGPLAN31 viewsView & Download