Haniel Barbosa. New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT). PhD thesis, University of Lorraine, Nancy, France, 2017. [doi]
Abstract is missing.