Patent 7308363 was granted and assigned to SRI International on December, 2007 by the United States Patent and Trademark Office.
Biological and chemical systems are represented as a symbolic model. Minimal sets of elements of the system are identified from the model, for example, by automatic inference. The model can be constructed from Boolean propositions that are mapped to a binary decision diagram. The model can also be probed using a branch and bound algorithm.