No label defined (Q4247437)

From MaRDI portal
scientific article; zbMATH DE number 1302170
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1302170

    Statements

    publication date
    11 November 1999
    0 references
    zbMATH Keywords
    approximation algorithm
    0 references
    local search
    0 references
    SAT
    0 references
    satisfiability problem
    0 references
    maximum satisfiability
    0 references
    author
    Roberto Battiti
    0 references
    Marco Protasi
    0 references

    Identifiers

    zbMATH DE Number
    1302170
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4247437&oldid=28460430"
    Powered by MediaWiki