Short proofs for long induced paths.

Nemanja Draganic Stefan Glock Michael Krivelevich

Published in: Comb. Probab. Comput. (2022)

Keyphrases

shortest path
long sequences
database
similarity measure
optimal path
data mining
artificial intelligence
search engine
website
image sequences
bayesian networks
natural language
multiresolution
theorem prover