Incremental Linear Constraint Solving and Detection of Implicit Equalities (Q4015412)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incremental Linear Constraint Solving and Detection of Implicit Equalities
scientific article

    Statements

    Incremental Linear Constraint Solving and Detection of Implicit Equalities (English)
    0 references
    0 references
    11 February 1993
    0 references
    incremental linear constraint satisfaction problem
    0 references
    satisfiability problem
    0 references

    Identifiers