Proof complexity of positive branching programs.

Anupam Das Avgerinos Delkos

Published in: CoRR (2021)

Keyphrases

worst case
positive and negative
computational complexity
real time
databases
database
data sets
artificial intelligence
case study
expert systems
theorem proving