Advances in Arithmetic and Optimization Techniques: Joint Work in MCSat

Explore the innovative work on arithmetic and optimization, particularly in the context of MCSat, by Leonardo de Moura in collaboration with Dejan Jovanovi and Grant Passmore. Delve into topics like Polynomial Constraints, CAD Big Picture projects, and NLSAT/MCSAT key ideas that aim to enhance the e

0 views • 55 slides