Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.

Susanna F. de Rezende Or Meir Jakob Nordström Robert Robere

Published in: Comput. Complex. (2021)

Keyphrases

trade off
clause learning
artificial intelligence
cellular automata
objective function
computational complexity
orders of magnitude
constraint satisfaction