Enhancing ENIGMA given clause guidance (Q1798957)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Enhancing ENIGMA given clause guidance
scientific article

    Statements

    title
    Enhancing ENIGMA given clause guidance (English)
    0 references
    author
    Jan Jakubův
    0 references
    Josef Urban
    0 references
    publication date
    18 October 2018
    0 references
    zbMATH DE Number
    6957963
    0 references
    describes a project that uses
    LIBLINEAR
    0 references
    MaLARea
    0 references
    E Theorem Prover
    0 references
    OpenAlex ID
    W2883677812
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1798957&oldid=33130849"
    Powered by MediaWiki