Sign in
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