Default logic and bounded treewidth (Q5918613)

From MaRDI portal
Revision as of 22:51, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7488448
Language Label Description Also known as
English
Default logic and bounded treewidth
scientific article; zbMATH DE number 7488448

    Statements

    Default logic and bounded treewidth (English)
    0 references
    0 references
    0 references
    0 references
    14 March 2022
    0 references
    parameterized algorithms
    0 references
    tree decompositions
    0 references
    dynamic programming
    0 references
    Reiter's default logic
    0 references
    propositional logic
    0 references
    lower bounds
    0 references

    Identifiers