On the complexity of Hilbert refutations for partition.

Susan Margulies Shmuel Onn Dmitrii V. Pasechnik

Published in: J. Symb. Comput. (2015)

Keyphrases

worst case
databases
metadata
computational complexity
decision problems
database
real world
image processing
image segmentation
data structure
computational cost
theorem prover
space complexity
high computational complexity