Login / Signup

On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.

Ilario BonacinaMaria Luisa Bonet
Published in: LICS (2022)
Keyphrases
  • management system
  • real time
  • intelligent systems
  • propositional logic
  • neural network
  • database systems
  • description logics
  • distributed systems
  • complex systems
  • multistage
  • retrieval systems
  • theorem proving