Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research.
A Model-Constructing Satisfiability Calculus VMCAI 2013
Model-Driven Decision Procedures for Arithmetic SYNASC 2013
Decision methods for arithmetic Third summer school on formal methods