On finding short resolution refutations and small unsatisfiable subsets.

Michael R. Fellows Stefan Szeider Graham Wrightson

Published in: Theor. Comput. Sci. (2006)

Keyphrases

small number
database systems
phase transition
data sets
real world
low resolution
computer vision
knowledge base
high quality