Conference paper ยท Book chapter
Difference Decision Diagrams
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y
Language: | English |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 1999 |
Proceedings: | Logic In Computer Science (LICS) |
ISSN: | 16113349 and 03029743 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/3-540-48168-0_9 |