No label defined (Q4969086)

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

    Statements

    author
    Rudy Bunel
    0 references
    Ilker Turkaslan
    0 references
    Philip H. S. Torr
    0 references
    M. Pawan Kumar
    0 references
    Jingyue Lu
    0 references
    Pushmeet Kohli
    0 references
    publication date
    5 October 2020
    0 references
    zbMATH Keywords
    formal verification
    0 references
    branch and bound
    0 references
    ReLU branching
    0 references
    describes a project that uses
    GitHub
    0 references
    Reluplex
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68T07
    0 references
    90C11
    0 references
    zbMATH DE Number
    7255073
    0 references
    arXiv ID
    1909.06588
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4969086&oldid=36621325"
    Powered by MediaWiki