Introduction to the OBDD algorithm for the ATP community (Q1332638)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Introduction to the OBDD algorithm for the ATP community
scientific article

    Statements

    Introduction to the OBDD algorithm for the ATP community (English)
    0 references
    0 references
    12 January 1995
    0 references
    propositional equivalence
    0 references
    ordered binary decision diagrams
    0 references
    normalized IF expressions
    0 references
    0 references
    0 references

    Identifiers