A method for improved memory management during the processing of binary decision diagrams in a computer system. Prior to creating a new node in memory, a find operation is performed to determine if that node already exists in memory. A hash key is computed for the new node and a hash table is accessed...http://www.google.se/patents/US6247108?utm_source=gb-gplus-sharePatent US6247108 - Memory management during processing of binary decision diagrams in a computer system
