Compact decision diagrams

Details Compact decision diagrams Compact decision diagrams

2008-02-07

2011-10-18

Rivas, Omar Fernandez (Department: 2122)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

Reexamination Certificate

active

08041665

ABSTRACT:
In one embodiment, a method includes determining an initial projected size of a BDD representing data for storage. The projected size corresponds to an initial projected number of decision nodes composing the BDD. The method includes 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 includes 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.

REFERENCES:
patent: 6285999 (2001-09-01), Page
patent: 6651096 (2003-11-01), Gai et al.
patent: 6799176 (2004-09-01), Page
patent: 7058628 (2006-06-01), Page
patent: 7216312 (2007-05-01), Jain et al.
patent: 2002/0078431 (2002-06-01), Reps
patent: 2004/0093571 (2004-05-01), Jain et al.
patent: 2005/0108183 (2005-05-01), Huelsman et al.
patent: 2005/0114602 (2005-05-01), Ngai et al.
patent: 2005/0149837 (2005-07-01), Jain
patent: 2005/0166167 (2005-07-01), Ivancic et al.
patent: 2006/0004747 (2006-01-01), Weare
patent: 2006/0190868 (2006-08-01), Baumgartner et al.
‘Binary Decision Diagrams’: Akers, 1978, IEEE, 0018-9340, pp. 509-516.
Brace, et al. “Efficient Implementation of a BDD Package,” 1990 IEEE, Paper 3.1, 27th ACM/IEEE Design Automation Conference, pp. 40-45, 1990.

Affiliated with

Also associated with

Rating

Compact decision diagrams does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Compact decision diagrams, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Compact decision diagrams will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4295823