Enumeration of Floor Plans Based on a Zero-Suppressed Binary Decision Diagram. (March 2015)