Speeding up the Constraint-Based Method in Difference Logic (Q2818021)

From MaRDI portal
Revision as of 01:44, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Speeding up the Constraint-Based Method in Difference Logic
scientific article

    Statements

    title
    Speeding up the Constraint-Based Method in Difference Logic (English)
    0 references
    author
    Lorenzo Candeago
    0 references
    Daniel Larraz
    0 references
    Albert Oliveras
    0 references
    Albert Rubio
    0 references
    publication date
    5 September 2016
    0 references
    describes a project that uses
    OptiMathSAT
    0 references
    vZ
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    03B70
    0 references
    68Q60
    0 references
    68R07
    0 references
    zbMATH DE Number
    6623518
    0 references
    OpenAlex ID
    W2505184053
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2818021&oldid=32848141"
    Powered by MediaWiki