Regular and General Resolution: An Improved Separation.

Alasdair Urquhart

Published in: SAT (2008)

Keyphrases

special case
three dimensional
closely related
real world
computer vision
metadata
decision trees
digital libraries