Planted Clique Conjectures Are Equivalent.

Shuichi Hirahara Nobutaka Shimizu

Published in: STOC (2024)

Keyphrases

theorem prover
genetic algorithm
image processing
multimedia
high level
database systems