Proof complexity of natural formulas via communication arguments.

Dmitry Itsykson Artur Riazanov

Published in: Electron. Colloquium Comput. Complex. (2020)

Keyphrases

computational complexity
worst case
information sharing
complete axiomatization
genetic algorithm
query language
description logics
temporal logic
communication networks
resource constrained