No label defined (Q5240215)

From MaRDI portal
Revision as of 19:31, 20 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7121946
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7121946

    Statements

    author
    Broes de Cat
    0 references
    Yuliya Lierler
    0 references
    publication date
    24 October 2019
    0 references
    zbMATH Keywords
    propositional satisfiability
    0 references
    constraint programming
    0 references
    describes a project that uses
    MiniSat
    0 references
    Sugar
    0 references
    Clingcon
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    03B05
    0 references
    68T20
    0 references
    zbMATH DE Number
    7121946
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5240215&oldid=36532970"
    Powered by MediaWiki