Proof Complexity and the Binary Encoding of Combinatorial Principles.

Stefan S. Dantchev Nicola Galesi Abdul Ghani Barnaby Martin

Published in: SIAM J. Comput. (2024)

Keyphrases

encoding schemes
complexity reduction
databases
bit string
computational complexity
space complexity
encoding scheme
real world
computer vision
case study
multiscale
worst case
theorem prover
complexity analysis
binary representation