An Improved Tight Closure Algorithm for Integer Octagonal Constraints (Q5452703): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: PPL / rank
 
Normal rank

Revision as of 14:40, 28 February 2024

scientific article; zbMATH DE number 5259553
Language Label Description Also known as
English
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
scientific article; zbMATH DE number 5259553

    Statements

    An Improved Tight Closure Algorithm for Integer Octagonal Constraints (English)
    0 references
    0 references
    0 references
    0 references
    4 April 2008
    0 references

    Identifiers