Interpolation

AXDInterpolator A Tool for Computing Interpolants for Arrays with MaxDiff

19th International Workshop on Satisfiability Modulo Theories

Jose Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola and Deepak Kapur

Jul 18, 2021

Implementation of Uniform Interpolation Algorithms

Master Thesis Defense, University of New Mexico

Jose Abel Castellanos Joo

Oct 20, 2020

A new interpolation algorithm for the theory of Equality with Uninterpreted Functions

Computer Science Colloquium Series, University of New Mexico

Jose Abel Castellanos Joo

Sep 9, 2020