The treewidth of proofs.

Moritz Müller Stefan Szeider

Published in: Inf. Comput. (2017)

Keyphrases

upper bound
space complexity
search space
bounded treewidth
theorem proving
boolean functions
discrete random variables
equational theories
mathematical proofs
formal proofs
theorem prover
lower bound
formal proof
np complete
data model
information systems
artificial intelligence
databases
data sets