Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.

Russell Impagliazzo Nathan Segerlind

Published in: ICALP (2002)

Keyphrases

management system
building blocks
multimedia
distributed systems
computer systems
databases
genetic algorithm
knowledge base
case study
multi agent
optical flow
knowledge based systems