Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report)

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: LICS (1989)

Keyphrases

partial solutions
branch and bound
computational power
higher order
stochastic sampling
mathematical programming
information retrieval
lower bound
multi objective
theorem proving
artificial ants