Random resolution refutations.

Pavel Pudlák Neil Thapen

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

Keyphrases

high resolution
low resolution
information retrieval
theorem prover
randomly distributed
conflict detection
databases
search engine
image processing
case study
high quality
data structure
probabilistic model
randomly generated