Difference Decision Diagrams

Jesper Moeller; Jacob Lichtenberg; Henrik Reif Andersen; Henrik Hulgaard

Difference Decision Diagrams

Jesper Moeller, Jacob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

Technical University of Denmark

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Abstract

This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y

Original language	English
Title of host publication	Difference Decision Diagrams
Publication date	1999
Publication status	Published - 1999
Event	Logic In Computer Science (LICS) - Trento, Italy Duration: 1 Jan 1999 → …

Conference

Conference	Logic In Computer Science (LICS)
City	Trento, Italy
Period	01/01/1999 → …

OpenUrl availability

Full text

Cite this

@inproceedings{d45ef98a70a24c0785b29bea494acc96,

title = "Difference Decision Diagrams",

abstract = "This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form \$x-y",

author = "Jesper Moeller and Jacob Lichtenberg and Andersen, \{Henrik Reif\} and Henrik Hulgaard",

year = "1999",

language = "English",

booktitle = "Difference Decision Diagrams",

note = "Logic In Computer Science (LICS) ; Conference date: 01-01-1999",

}

TY - GEN

T1 - Difference Decision Diagrams

AU - Moeller, Jesper

AU - Lichtenberg, Jacob

AU - Andersen, Henrik Reif

AU - Hulgaard, Henrik

PY - 1999

Y1 - 1999

N2 - This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y

AB - This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y

M3 - Article in proceedings

BT - Difference Decision Diagrams

T2 - Logic In Computer Science (LICS)

Y2 - 1 January 1999

ER -