Simple Hard Instances for Low-Depth Algebraic Proofs.

Nashlen Govindasamy Tuomas Hakoniemi Iddo Tzameret

Published in: CoRR (2022)

Keyphrases

database
case study
randomly generated
computer vision
bayesian networks
search algorithm
higher order
depth map
depth information
highly reliable