Translation among CNFs, characteristic models and ordered binary decision diagrams (Q1007523)

From MaRDI portal





scientific article; zbMATH DE number 5530876
Language Label Description Also known as
English
Translation among CNFs, characteristic models and ordered binary decision diagrams
scientific article; zbMATH DE number 5530876

    Statements

    Translation among CNFs, characteristic models and ordered binary decision diagrams (English)
    0 references
    0 references
    0 references
    23 March 2009
    0 references
    conjunctive normal form (CNF)
    0 references
    characteristic model
    0 references
    ordered binary decision diagram (OBDD)
    0 references
    Horn function
    0 references
    algorithms
    0 references

    Identifiers