Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers.

Dennis de Champeaux

Browse the full IJCAI paper archive.