Lemmas: Generation, Selection, Application.

Michael Rawson Christoph Wernhard Zsolt Zombori Wolfgang Bibel

Published in: CoRR (2023)

Keyphrases

artificial intelligence
website
relational databases
special case
theorem proving
databases
computer vision
data structure
selection algorithm
selection strategy
generation process
selection criteria