Complexity Issues in the Davis and Putnam Scheme.

Gonzalo Escalada-Imaz Rodolfo Torres-Velázquez

Published in: AIMSA (2000)

Keyphrases

computational issues
reduced complexity
key issues
pruning power
space complexity
optimization scheme
computational cost
worst case
real time
detection scheme
decision problems
recognition scheme
lower bound
computational complexity
search engine
genetic algorithm
databases