Hierarchic Superposition Revisited.

Peter Baumgartner Uwe Waldmann

Published in: CoRR (2019)

Keyphrases

theorem proving
neural network
databases
artificial intelligence
search algorithm
multi objective
genetic programming