Login / Signup

(Semi)Algebraic proofs over ±1 variables.

Dmitry Sokolov
Published in: STOC (2020)
Keyphrases
  • semi algebraic
  • spatial databases
  • arbitrary dimension
  • theorem prover
  • database
  • nearest neighbor
  • fourier transform