New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.

Andrew M. Marshall Paliath Narendran

Published in: IJCAR (2012)

Keyphrases

lower bound
recently developed
data structure
significant improvement
computational cost
nearest neighbor
theoretical analysis
times faster
real time
machine learning
genetic algorithm
higher order
benchmark datasets
orders of magnitude
efficient implementation
exact and approximate