On Semi-Algebraic Proofs and Algorithms.

Noah Fleming Stefan Grosser Mika Göös Robert Robere

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

computationally efficient
data mining
image segmentation
database
endpoints