Complexity results on DPLL and resolution.

Paolo Liberatore

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

clause learning
computational complexity
worst case
np complete
high resolution
space complexity
data sets
case study
expert systems
computational cost
low resolution
first order logic