Incremental Linear Constraint Solving and Detection of Implicit Equalities (Q4015412): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1287/ijoc.3.4.269 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1287/IJOC.3.4.269 / rank
 
Normal rank

Latest revision as of 23:17, 28 December 2024

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