Projection, consistency, and George Boole (Q265702)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Projection, consistency, and George Boole
scientific article

    Statements

    Projection, consistency, and George Boole (English)
    0 references
    0 references
    12 April 2016
    0 references
    projection
    0 references
    consistency
    0 references
    optimization
    0 references
    inference
    0 references
    satisfiability
    0 references
    logic-based Benders decomposition
    0 references
    Boole
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers