A General Constructive Form of Higman's Lemma.

Stefano Berardi Gabriele Buriola Peter Schuster

Published in: CSL (2024)

Keyphrases

special case
closely related
machine learning
artificial intelligence
pattern recognition
digital libraries
domain knowledge
real time
information retrieval
decision trees
data structure
medical images
constraint satisfaction problems