Are Short Proofs Narrow? QBF Resolution is not Simple.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

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

Keyphrases

information systems
image processing
high quality
real time
genetic algorithm
computational complexity
expert systems
evolutionary algorithm
uniform distribution
formal proofs