First-Order Instantiation using Discriminating Terms.

Chad Brown Mikolás Janota

Published in: SMT (2021)

Keyphrases

higher order
special case
decision making
case study
data structure
artificial neural networks
co occurrence
query terms