E-unification with Constants vs. General E-unification.

Published in: J. Autom. Reason. (2012)

Keyphrases

special case
higher order
equational theories
data sets
pairwise
real world
machine learning
wide range
search algorithm
preprocessing
probabilistic model
function symbols