Truth table invariant cylindrical algebraic decomposition (Q5963392)

From MaRDI portal
scientific article; zbMATH DE number 6542959
Language Label Description Also known as
English
Truth table invariant cylindrical algebraic decomposition
scientific article; zbMATH DE number 6542959

    Statements

    Truth table invariant cylindrical algebraic decomposition (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    19 February 2016
    0 references
    cylindrical algebraic decomposition
    0 references
    equational constraint
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references