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
An algorithm for random signed 3-SAT with intervals - MaRDI portal

An algorithm for random signed 3-SAT with intervals (Q2637342)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algorithm for random signed 3-SAT with intervals
scientific article

    Statements

    title
    An algorithm for random signed 3-SAT with intervals (English)
    0 references
    author
    Kathrin Ballerstein
    0 references
    Dirk Oliver Theis
    0 references
    publication date
    11 February 2014
    0 references
    zbMATH Keywords
    random constraint satisfaction problems
    0 references
    signed satisfiability
    0 references
    cites work
    Q2701980
    0 references
    Q4475627
    0 references
    Q4938415
    0 references
    Q4228436
    0 references
    Q2744679
    0 references
    Q4281690
    0 references
    Q4519896
    0 references
    Random Intervals
    0 references
    Q4542611
    0 references
    Random interval graphs
    0 references
    Q4938890
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68W20
    0 references
    68W40
    0 references
    68Q25
    0 references
    68Q87
    0 references
    03B70
    0 references
    zbMATH DE Number
    6256804
    0 references
    OpenAlex ID
    W2963530586
    0 references
    arXiv ID
    1105.2525
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2637342&oldid=39173643"
    Powered by MediaWiki