Patent ID: 8041665
Filing Date: 2011-10-18
Classification: G06F,G06N

Abstract:
1. A method comprising, by one or more computer systems: determining an initial projected size of a BDD representing data for storage, the projected size corresponding to an initial projected number of decision nodes composing the BDD, the initial projected size of a BDD comprising d variables; determining an initial node structure for the decision nodes of the BDD according to the initial projected size of the BDD, the initial node structure comprising for each decision node a variable identifier (ID), a 1-edge pointer, and a 0-edge pointer each represented by a minimum number of bits accommodating the initial projected number of decision nodes composing the BDD, the initial node structure comprising for each decision node a variable ID represented by ┌ log(d)┐ bits; constructing the BDD according to the initial node structure; and if during construction the BDD exceeds the initial projected size: