Backtrack Search with Isomorph Rejection and Consistency Check

Clement W. H. Lam, Larry H. Thiel. Backtrack Search with Isomorph Rejection and Consistency Check. Journal of Symbolic Computation, 7(5):473-485, 1989.

Abstract

Abstract is missing.