Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
LoCo—A Logic for Configuration Problems - MaRDI portal

LoCo—A Logic for Configuration Problems (Q2946729)

From MaRDI portal
scientific article
Language Label Description Also known as
English
LoCo—A Logic for Configuration Problems
scientific article

    Statements

    title
    LoCo—A Logic for Configuration Problems (English)
    0 references
    author
    Markus Aschinger
    0 references
    Conrad Drescher
    0 references
    Georg Gottlob
    0 references
    Heribert Vollmer
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    technical product configuration
    0 references
    model-based reasoning
    0 references
    describes a project that uses
    QUICKXPLAIN
    0 references
    MiniZinc
    0 references
    Potassco
    0 references

    Identifiers

    DOI
    10.1145/2629454
    0 references
    zbMATH DE Number
    6483225
    0 references
    OpenAlex ID
    W2050815510
    0 references
    Wikidata QID
    Q59259470
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946729&oldid=36201422"
    Powered by MediaWiki