Login / Signup
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.
Ilario Bonacina
Maria Luisa Bonet
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
databases
management system
distributed systems
expert systems
learning systems
real time
artificial intelligence
dynamic programming
computer systems