SMT Solvers Theory & Practice Leonardo de Moura leonardo@microsoft.com Microsoft Research
SMT Solvers Theory & Practice Leonardo de Moura leonardo@microsoft.com Microsoft Research FMCAD 2006 p.1/75 Credits Slides inspired by previous presentations by: Clark Barrett, Harald Ruess, Natarajan Shankar, Cesare Tinelli, Ashish
1.18k views • 113 slides