Login / Signup
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle.
Aaron Potechin
Aaron Zhang
Published in:
CoRR (2022)
Keyphrases
</>
neural network
upper bound
real time
databases
machine learning
artificial intelligence
training set
partial order