Proof complexity and the binary encoding of combinatorial principles.

Stefan S. Dantchev Nicola Galesi Abdul Ghani Barnaby Martin

Published in: CoRR (2020)

Keyphrases

encoding schemes
complexity reduction
binary representation
worst case
database
space complexity
decision problems
bit string
non binary
hamming distance
upper bound
computational cost
computational complexity
knowledge base
computer vision
neural network
real time