AC Simplifications and Closure Redundancies in the Superposition Calculus.

André Duarte Konstantin Korovin

Published in: TABLEAUX (2021)

Keyphrases

information content
computer algebra
data sets
neural network
real world
learning algorithm
search engine
similarity measure
relational calculus
automated deduction