SDDs Are Exponentially More Succinct than OBDDs

Open in new window