In Search of the First-Order Part of Ramsey's Theorem for Pairs.

Leszek Aleksander Kolodziejczyk Keita Yokoyama

Published in: CiE (2021)

Keyphrases

search algorithm
search space
real time
search strategy
search efficiency
pairwise
higher order
first order logic
search strategies
query formulation
database
databases
neural network
search tools
search problems
semantic search