On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.

Michael R. Fellows Stefan Szeider Graham Wrightson

Published in: IWPEC (2004)

Keyphrases

small number
high resolution
artificial intelligence
low resolution
data sets
information retrieval
expert systems
phase transition
search engine
small size
image resolution
consequence finding