28:23Akshar Nair - Equational Constraints, the Lazard Projection and the Curtain Problem
A 28-minute video from SC-square: “Akshar Nair - Equational Constraints, the Lazard Projection and the Curtain Problem”.
SC-square
11 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
28:23
28:20Alexei Lisitsa - Constraint Satisfaction for Gauss Diagrams Enumeration
A 28-minute video from SC-square: “Alexei Lisitsa - Constraint Satisfaction for Gauss Diagrams Enumeration”.
28:58Ali Uncu - Practical Evaluation of QE Methods
A 29-minute video from SC-square: “Ali Uncu - Practical Evaluation of QE Methods”.
26:07Baptiste Vergain - Decidable Logics with Arithmetic and Uninterpreted Symbols for SMT
A 26-minute video from SC-square: “Baptiste Vergain - Decidable Logics with Arithmetic and Uninterpreted Symbols for SMT”.
29:40Christopher Brown - Avoiding Work in CAD: NLSAT, CDCAC, NuCAD, etc.
A 30-minute video from SC-square: “Christopher Brown - Avoiding Work in CAD: NLSAT, CDCAC, NuCAD, etc.”.
33:51Grant Olney Passmore - An Introduction to the Imandra Automated Reasoning System
A 34-minute video from SC-square: “Grant Olney Passmore - An Introduction to the Imandra Automated Reasoning System”.
28:17Jasper Nalbach - Extending the Fundamental Theorem of Linear Programming for Strict Inequalities
A 28-minute video from SC-square: “Jasper Nalbach - Extending the Fundamental Theorem of Linear Programming for Strict Inequalities”.
28:58Martin Brain - Further Steps Down The Wrong Path: Improving Multiplication in Bit-Blasting
A 29-minute video from SC-square: “Martin Brain - Further Steps Down The Wrong Path: Improving Multiplication in Bit-Blasting”.
29:00Matthew England - SC-Square: Past Successes and Future Progress with Machine Learning
A 29-minute video from SC-square: “Matthew England - SC-Square: Past Successes and Future Progress with Machine Learning”.
28:13Michela Ceria - Degroebnerization and Its Applications
A 28-minute video from SC-square: “Michela Ceria - Degroebnerization and Its Applications”.
31:07Philippe Specht - Level-Wise Construction of a Single Cell in Cylindrical Algebraic Decomposition
A 31-minute video from SC-square: “Philippe Specht - Level-Wise Construction of a Single Cell in Cylindrical Algebraic Decomposition”.
27:09Vijay Ganesh - Logic Solvers and Machine Learning: The Next Frontier
A 27-minute video from SC-square: “Vijay Ganesh - Logic Solvers and Machine Learning: The Next Frontier”.