Buchberger Algorithm in Theorem Proving.

Published in: Sci. Ann. Cuza Univ. (1995)

Keyphrases

theorem proving
search space
automatic programming
learning algorithm
parallel search
data mining
np hard
simulated annealing
first order logic
combinatorial search