Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification.

Evelyne Contejean

Published in: J. Symb. Comput. (1993)

Keyphrases

solving problems
equational theories
higher order
computer vision
interior point methods
preprocessing
database systems
data structure
evolutionary algorithm
theorem prover
theorem proving
arc consistency