Verifying Refutations with Extended Resolution.

Marijn Heule Warren A. Hunt Jr.Nathan Wetzler

Published in: CADE (2013)

Keyphrases

low resolution
high resolution
model checking
conflict detection
data mining
computer vision
decision making
three dimensional
search algorithm
preprocessing
image quality