[[The]] use and minimization of binary decision diagrams for set constraint resolution

[[The]] use and minimization of binary decision diagrams for set constraint resolution

Levinn, Benjamin A.

Computer science

May 2009

School of Science

Rensselaer Polytechnic Institute, Troy, NY

Milanova, Ana

2009-05

Electronic thesis

ENG

This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.

Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Research Libraries.