Difference Decision Diagrams

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch


    This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y
    Original languageEnglish
    Title of host publicationDifference Decision Diagrams
    Publication date1999
    Publication statusPublished - 1999
    EventLogic In Computer Science (LICS) - Trento, Italy
    Duration: 1 Jan 1999 → …


    ConferenceLogic In Computer Science (LICS)
    CityTrento, Italy
    Period01/01/1999 → …

    Cite this