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
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas - MaRDI portal

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
scientific article

    Statements

    title
    Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (English)
    0 references
    author
    Luca Pulina
    0 references
    Armando Tacchella
    0 references
    publication date
    7 January 2010
    0 references
    describes a project that uses
    LIBSVM
    0 references
    C4.5
    0 references
    sKizzo
    0 references
    Quantor
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T05
    0 references
    68T15
    0 references
    68T20
    0 references
    zbMATH DE Number
    5654249
    0 references
    OpenAlex ID
    W1566051759
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3655211&oldid=35145794"
    Powered by MediaWiki