Complexity Issues in the Davis and Putnam Scheme.

Gonzalo Escalada-Imaz, Rodolfo Torres-Velzquez

Browse the full AIMSA paper archive.