Login / Signup

Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.

Susanna F. de RezendeOr MeirJakob NordströmRobert Robere
Published in: Comput. Complex. (2021)
Keyphrases
  • trade off
  • clause learning
  • artificial intelligence
  • cellular automata
  • objective function
  • computational complexity
  • orders of magnitude
  • constraint satisfaction