Consolidate, compile and consume product models and configuration data on a shared-source-of-truth available to any user, at any location at any time.
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities where the variables are integer or real-valued.
