Unifying tree decompositions for reasoning in graphical models (Q2457660)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unifying tree decompositions for reasoning in graphical models
scientific article

    Statements

    Unifying tree decompositions for reasoning in graphical models (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 October 2007
    0 references
    automated reasoning
    0 references
    graphical models
    0 references

    Identifiers