Efficient Algorithms for Bounded Rigid E-unification.

Peter Backeman Philipp Rümmer

Published in: TABLEAUX (2015)

Keyphrases

higher order
three dimensional
theorem proving
theorem prover
data sets
evolutionary algorithm
database
neural network
data mining