Difference Decision Diagrams

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.