The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. - Olaf Schröer; Ingo Wegener (Formal Methods Syst. Des., 1998)