Predicting and detecting symmetries in FOL finite model search (Q861703)

From MaRDI portal
Revision as of 13:18, 25 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Predicting and detecting symmetries in FOL finite model search
scientific article

    Statements

    title
    Predicting and detecting symmetries in FOL finite model search (English)
    0 references
    author
    Gilles Audemard
    0 references
    Belaïd Benhamou
    0 references
    Laurent Henocque
    0 references
    publication date
    30 January 2007
    0 references
    zbMATH DE Number
    5119738
    0 references
    zbMATH Keywords
    least number heuristic
    0 references
    extended least number heuristic
    0 references
    describes a project that uses
    nauty
    0 references
    Mace4
    0 references
    FALCON
    0 references
    FINDER
    0 references
    TPTP
    0 references
    OpenAlex ID
    W2073006675
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q861703&oldid=34914942"
    Powered by MediaWiki