Extended Resolution Simulates DRAT.

Benjamin Kiesl Adrián Rebola-Pardo Marijn J. H. Heule

Published in: IJCAR (2018)

Keyphrases

high resolution
consequence finding
data sets
low resolution
search engine
feature extraction
multiscale
computational complexity
mobile robot
higher resolution
clause learning